Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. clarified exception: avoid odd compiler warning;
  2. update to scala-3.2.1; enforce rebuild of Isabelle/ML + Isabelle/Scala;
  3. recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;
  4. update to jdk-17.0.5 (Oct-2022);
  5. more standard component build process;
  6. proper treatment of tar.gz double-extension;
  7. proper download, instead of assuming local directory;
  8. more standard component build process;
  9. clarified signature; omit somewhat pointless test for "unzip" command;
  10. clarified signature; tuned messages;
  11. discontinue unused JCEF: superseded by Electron with its bundled Chromium;
  12. prefer deterministic result;
Changeset 76538:0bab4c751478 by wenzelm:
clarified exception: avoid odd compiler warning;
The file was modified src/Pure/Concurrent/par_list.scala
Changeset 76537:cdbe20024038 by wenzelm:
update to scala-3.2.1;<br>enforce rebuild of Isabelle/ML + Isabelle/Scala;
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
The file was modified src/Pure/Admin/build_scala.scala
The file was modified src/Pure/Concurrent/par_list.scala
The file was modified src/Pure/ROOT.ML
The file was modified src/Pure/ROOT.scala
The file was modified src/Pure/System/scala.scala
Changeset 76536:80dc20ffd31b by wenzelm:
recovered check from 69139cc01ba1: Windows does not support PosixFilePermission;
The file was modified src/Pure/Admin/build_jdk.scala
Changeset 76535:f3ebb16b5785 by wenzelm:
update to jdk-17.0.5 (Oct-2022);
The file was modified Admin/components/components.sha1
The file was modified Admin/components/main
Changeset 76534:69139cc01ba1 by wenzelm:
more standard component build process;
The file was modified src/Pure/Admin/build_jdk.scala
Changeset 76533:2590980401b0 by wenzelm:
proper treatment of tar.gz double-extension;
The file was modified src/Pure/General/file.scala
The file was modified src/Pure/System/isabelle_system.scala
Changeset 76532:c9e1276f0268 by wenzelm:
proper download, instead of assuming local directory;
The file was modified src/Pure/Admin/build_fonts.scala
Changeset 76531:d0910be11f65 by wenzelm:
more standard component build process;
The file was modified src/Pure/Admin/build_fonts.scala
Changeset 76530:2bf13b30b98e by wenzelm:
clarified signature;<br>omit somewhat pointless test for &quot;unzip&quot; command;
The file was modified src/Pure/Admin/build_easychair.scala
The file was modified src/Pure/Admin/build_eptcs.scala
The file was modified src/Pure/Admin/build_foiltex.scala
The file was modified src/Pure/Admin/build_jdk.scala
The file was modified src/Pure/Admin/build_jedit.scala
The file was modified src/Pure/Admin/build_llncs.scala
The file was modified src/Pure/Admin/build_pdfjs.scala
The file was modified src/Pure/Admin/build_polyml.scala
The file was modified src/Pure/System/isabelle_system.scala
The file was modified src/Tools/VSCode/src/build_vscodium.scala
Changeset 76529:ded37aade88e by wenzelm:
clarified signature;<br>tuned messages;
The file was modified src/Pure/Admin/build_csdp.scala
The file was modified src/Pure/Admin/build_easychair.scala
The file was modified src/Pure/Admin/build_foiltex.scala
The file was modified src/Pure/Admin/build_jdk.scala
The file was modified src/Pure/Admin/build_llncs.scala
The file was modified src/Pure/Admin/build_minisat.scala
The file was modified src/Pure/Admin/build_vampire.scala
The file was modified src/Pure/Admin/build_verit.scala
The file was modified src/Pure/General/file.scala
The file was modified src/Pure/General/sql.scala
The file was modified src/Pure/General/zstd.scala
The file was modified src/Pure/Tools/phabricator.scala
Changeset 76528:bf537a75e872 by wenzelm:
discontinue unused JCEF: superseded by Electron with its bundled Chromium;
The file was modified etc/build.props
The file was modified src/Pure/System/isabelle_tool.scala
The file was removedsrc/Pure/Admin/build_jcef.scala
Changeset 76527:63f9ffa1625f by wenzelm:
prefer deterministic result;
The file was modified src/Pure/Admin/build_jcef.scala
The file was modified src/Pure/Admin/build_jedit.scala
The file was modified src/Pure/System/classpath.scala