Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. enforce rebuild of Isabelle/Scala + Isabelle/ML;
  2. updated to postgresql-42.7.1;
  3. updated to sqlite-jdbc-3.45.0.0, including slf4j-1.7.36;
  4. update to llncs-2.23; update src/Doc/Demo_LLNCS to include the new mandatory section "Disclosure of Interests";
  5. clarified bootstrap;
  6. clarified directories;
  7. clarified directories;
  8. obsolete (see also fc88b943e1b2);
  9. proper output, following 2cd23d587db9;
  10. always use patchelf on Linux: base-line is Ubuntu 18.04 where that works properly (see also e79294c4230c);
  11. clarified directories;
  12. more accurate Isabelle versions;
  13. more accurate Ubuntu versions;
Changeset 79508:b2861a2c2aa2 by wenzelm:
enforce rebuild of Isabelle/Scala + Isabelle/ML;
The file was modified src/Pure/ROOT.ML (diff)
The file was modified src/Pure/ROOT.scala (diff)
Changeset 79507:928b58ef9599 by wenzelm:
updated to postgresql-42.7.1;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Admin/component_postgresql.scala (diff)
Changeset 79506:dcddfe4f43a3 by wenzelm:
updated to sqlite-jdbc-3.45.0.0, including slf4j-1.7.36;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified src/Pure/Admin/component_sqlite.scala (diff)
Changeset 79505:a94a512c5e7a by wenzelm:
update to llncs-2.23;<br>update src/Doc/Demo_LLNCS to include the new mandatory section &quot;Disclosure of Interests&quot;;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified NEWS (diff)
The file was modified src/Doc/Demo_LLNCS/Document.thy (diff)
Changeset 79504:958d7b118c7b by wenzelm:
clarified bootstrap;
The file was modified src/Pure/ROOT.ML (diff)
Changeset 79503:c67b47cd41dc by wenzelm:
clarified directories;
The file was addedsrc/Pure/General/bibtex.ML
The file was addedsrc/Pure/General/bibtex.scala
The file was addedsrc/Pure/General/latex.ML
The file was addedsrc/Pure/General/latex.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was removedsrc/Pure/Thy/bibtex.ML
The file was removedsrc/Pure/Thy/bibtex.scala
The file was removedsrc/Pure/Thy/latex.ML
The file was removedsrc/Pure/Thy/latex.scala
Changeset 79502:c7a98469c0e7 by wenzelm:
clarified directories;
The file was addedsrc/Pure/Build/browser_info.scala
The file was addedsrc/Pure/Build/build.ML
The file was addedsrc/Pure/Build/build.scala
The file was addedsrc/Pure/Build/build_cluster.scala
The file was addedsrc/Pure/Build/build_job.scala
The file was addedsrc/Pure/Build/build_process.scala
The file was addedsrc/Pure/Build/build_schedule.scala
The file was addedsrc/Pure/Build/export.ML
The file was addedsrc/Pure/Build/export.scala
The file was addedsrc/Pure/Build/export_theory.ML
The file was addedsrc/Pure/Build/export_theory.scala
The file was addedsrc/Pure/Build/file_format.scala
The file was addedsrc/Pure/Build/resources.ML
The file was addedsrc/Pure/Build/resources.scala
The file was addedsrc/Pure/Build/sessions.ML
The file was addedsrc/Pure/Build/sessions.scala
The file was addedsrc/Pure/Build/store.scala
The file was modified etc/build.props (diff)
The file was modified src/Pure/ROOT.ML (diff)
The file was removedsrc/Pure/PIDE/resources.ML
The file was removedsrc/Pure/PIDE/resources.scala
The file was removedsrc/Pure/Thy/browser_info.scala
The file was removedsrc/Pure/Thy/export.ML
The file was removedsrc/Pure/Thy/export.scala
The file was removedsrc/Pure/Thy/export_theory.ML
The file was removedsrc/Pure/Thy/export_theory.scala
The file was removedsrc/Pure/Thy/file_format.scala
The file was removedsrc/Pure/Thy/sessions.ML
The file was removedsrc/Pure/Thy/sessions.scala
The file was removedsrc/Pure/Thy/store.scala
The file was removedsrc/Pure/Tools/build.ML
The file was removedsrc/Pure/Tools/build.scala
The file was removedsrc/Pure/Tools/build_cluster.scala
The file was removedsrc/Pure/Tools/build_job.scala
The file was removedsrc/Pure/Tools/build_process.scala
The file was removedsrc/Pure/Tools/build_schedule.scala
Changeset 79501:bce98b5dfec6 by wenzelm:
obsolete (see also fc88b943e1b2);
The file was modified src/Doc/Implementation/Isar.thy (diff)
Changeset 79500:ae20766492c4 by wenzelm:
proper output, following 2cd23d587db9;
The file was modified src/Doc/System/Misc.thy (diff)
Changeset 79499:d117821a5e82 by wenzelm:
always use patchelf on Linux: base-line is Ubuntu 18.04 where that works properly (see also e79294c4230c);
The file was modified src/Pure/Admin/component_polyml.scala (diff)
The file was modified src/Pure/Admin/component_zipperposition.scala (diff)
The file was modified src/Pure/System/executable.scala (diff)
Changeset 79498:752188c16c22 by wenzelm:
clarified directories;
The file was addedsrc/Pure/General/html.scala
The file was modified etc/build.props (diff)
The file was removedsrc/Pure/Thy/html.scala
Changeset 79497:3225f823b337 by wenzelm:
more accurate Isabelle versions;
The file was modified src/Doc/JEdit/JEdit.thy (diff)
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Doc/System/Misc.thy (diff)
Changeset 79496:4d82b743c5e1 by wenzelm:
more accurate Ubuntu versions;
The file was modified src/Doc/System/Misc.thy (diff)
The file was modified src/Doc/System/Phabricator.thy (diff)
The file was modified src/Pure/Tools/phabricator.scala (diff)