Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. clarified release packaging: naproche-20220910 lacks arm64-linux support (and crashes);
  2. more documentation of 'export_classpath' (session ROOT) and 'scala_build_generated_files' (Isar command);
  3. merged;
  4. update for release;
  5. more command-line options;
  6. less specialized euclidean relation on int
  7. update to Isabelle2022 and Ubuntu 22.04;
  8. proper comment: Phabricator remains on Ubuntu 20.04, which is still required as build environment for old Mercurial 3.9.2 with Python 2;
  9. more operations: for testing purposes;
  10. provide naproche-20220910 (inactive);
Changeset 76111:6308eaaa88f1 by wenzelm:
clarified release packaging: naproche-20220910 lacks arm64-linux support (and crashes);
The file was modified Admin/Release/CHECKLIST
Changeset 76110:0605eb327e60 by wenzelm:
more documentation of 'export_classpath' (session ROOT) and 'scala_build_generated_files' (Isar command);
The file was modified NEWS
The file was modified src/Doc/Isar_Ref/Spec.thy
The file was modified src/Doc/System/Sessions.thy
Changeset 76109:e9f9e8de1ab9 by wenzelm:
merged;
Changeset 76108:bdab17df07a9 by wenzelm:
update for release;
The file was modified ANNOUNCE
Changeset 76107:4dedb6e2dac2 by wenzelm:
more command-line options;
The file was modified src/Doc/System/Sessions.thy
The file was modified src/Pure/Thy/sessions.scala
Changeset 76106:98cab94326d4 by haftmann:
less specialized euclidean relation on int
The file was modified src/HOL/Divides.thy
The file was modified src/HOL/Library/Signed_Division.thy
The file was modified src/HOL/SMT.thy
Changeset 76105:7ce11c135dad by wenzelm:
update to Isabelle2022 and Ubuntu 22.04;
The file was modified Admin/Release/CHECKLIST
The file was modified src/Doc/JEdit/JEdit.thy
The file was modified src/Doc/System/Environment.thy
The file was modified src/Doc/System/Misc.thy
Changeset 76104:5ee70e689eb3 by wenzelm:
proper comment: Phabricator remains on Ubuntu 20.04, which is still required as build environment for old Mercurial 3.9.2 with Python 2;
The file was modified src/Pure/Tools/phabricator.scala
Changeset 76103:fbef5a48723f by wenzelm:
more operations: for testing purposes;
The file was modified src/Pure/Tools/build_docker.scala
Changeset 76102:f51e9da996a3 by wenzelm:
provide naproche-20220910 (inactive);
The file was modified Admin/components/components.sha1

Changes from Mercurial (hg https://foss.heptapod.net/isa-afp/afp-devel/ default)

Summary

  1. streamlined
Changeset 13003:34a31d29f666 by haftmann:
streamlined
The file was modified thys/Mersenne_Primes/Lucas_Lehmer_Code.thy