Skip to content
[Jenkins]Jenkins
log in
Success

Changes

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

Summary

  1. tuned;
  2. removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g. f150253cb201), but is superseded by AFP metadata (TOML);
  3. clarified signature;
  4. clarified modules: more official Sessions.notable_groups;
  5. tuned
Changeset 80058:68f6b29ae066 by fabian huch _huch@in.tum.de_:
tuned;
The file was modified src/Pure/General/toml.scala
Changeset 80057:87f90735e6dd by wenzelm:
removed unused/obsolete material: some of it was motivated by Isabelle/MMT (e.g. f150253cb201), but is superseded by AFP metadata (TOML);
The file was modified src/Pure/Admin/afp.scala
Changeset 80056:9279e96eb34e by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/afp.scala
The file was modified src/Pure/Build/build.scala
The file was modified src/Pure/Build/build_schedule.scala
Changeset 80055:42bc8ab751c1 by wenzelm:
clarified modules: more official Sessions.notable_groups;
The file was modified src/Pure/Admin/afp.scala
The file was modified src/Pure/Admin/build_status.scala
The file was modified src/Pure/Build/sessions.scala
Changeset 80054:f8d7df38d7c6 by nipkow:
tuned
The file was modified src/Doc/Prog_Prove/Isar.thy

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

Summary

  1. tuned: prefer for-comprehension in complicated situations;
  2. tuned formatting;
  3. tuned: more uniform Isabelle style;
  4. tuned imports;
  5. tuned;
  6. clarified options;
  7. Distributed_Distinct_Elements: Fix aliasing issue introduce in isabelle distribution.
  8. merged
  9. tuned proofs: avoid z3 to make it work on arm64-linux;
  10. tuned whitespace;
  11. tuned proofs: avoid z3 to make it work on arm64-linux;
  12. tuned proofs: avoid z3 to make it work on arm64-linux;
  13. clarified types: richer interface for metadata;
  14. add option to run formatting operations on all metadata files;
  15. tuned;
  16. tuned;
  17. update to Isabelle/42bc8ab751c1;
Changeset 14182:7a425b5f62ba by fabian huch _huch@in.tum.de_:
tuned: prefer for-comprehension in complicated situations;
The file was modified tools/afp_check_roots.scala
Changeset 14181:b93b79b9240e by fabian huch _huch@in.tum.de_:
tuned formatting;
The file was modified tools/afp_dependencies.scala
The file was modified tools/afp_site_gen.scala
The file was modified tools/hugo.scala
The file was modified tools/metadata.scala
The file was modified tools/utils.scala
Changeset 14180:01987db5d362 by fabian huch _huch@in.tum.de_:
tuned: more uniform Isabelle style;
The file was modified tools/afp_build.scala
Changeset 14179:f111b9c197e8 by fabian huch _huch@in.tum.de_:
tuned imports;
The file was modified tools/afp_build.scala
The file was modified tools/afp_check_metadata.scala
The file was modified tools/afp_dependencies.scala
The file was modified tools/afp_release.scala
The file was modified tools/afp_submit.scala
The file was modified tools/utils.scala
The file was modified tools/web_app.scala
Changeset 14178:b7690d847464 by fabian huch _huch@in.tum.de_:
tuned;
The file was modified tools/afp_structure.scala
Changeset 14177:307a818fb212 by fabian huch _huch@in.tum.de_:
clarified options;
The file was modified tools/afp_structure.scala
Changeset 14176:f8eca525e197 by Emin Karayel _me@eminkarayel.de_:
Distributed_Distinct_Elements: Fix aliasing issue introduce in isabelle distribution.
The file was modified thys/Distributed_Distinct_Elements/Distributed_Distinct_Elements_Accuracy_Without_Cutoff.thy
The file was modified thys/Distributed_Distinct_Elements/Distributed_Distinct_Elements_Cutoff_Level.thy
Changeset 14175:0df87a34e8a0 by wenzelm:
merged
Changeset 14174:5aca58481bd5 by wenzelm:
tuned proofs: avoid z3 to make it work on arm64-linux;
The file was modified thys/X86_Semantics/Memory.thy
Changeset 14173:abe7b3319f06 by wenzelm:
tuned whitespace;
The file was modified thys/X86_Semantics/ROOT
Changeset 14172:4c396108a3a9 by wenzelm:
tuned proofs: avoid z3 to make it work on arm64-linux;
The file was modified thys/Gabow_SCC/Gabow_GBG.thy
Changeset 14171:2c25484e1496 by wenzelm:
tuned proofs: avoid z3 to make it work on arm64-linux;
The file was modified thys/No_FTL_observers/Axioms.thy
Changeset 14170:4cb970a0955a by fabian huch _huch@in.tum.de_:
clarified types: richer interface for metadata;
The file was modified tools/afp_build.scala
The file was modified tools/afp_check_metadata.scala
The file was modified tools/afp_release.scala
The file was modified tools/afp_site_gen.scala
The file was modified tools/afp_structure.scala
The file was modified tools/afp_submit.scala
The file was modified tools/metadata.scala
Changeset 14169:9cad40069322 by fabian huch _huch@in.tum.de_:
add option to run formatting operations on all metadata files;
The file was modified tools/afp_check_metadata.scala
The file was modified tools/afp_structure.scala
Changeset 14168:4395ecd3d7a5 by fabian huch _huch@in.tum.de_:
tuned;
The file was modified tools/afp_structure.scala
Changeset 14167:cefde457b8cc by fabian huch _huch@in.tum.de_:
tuned;
The file was modified tools/afp_submit.scala
Changeset 14166:9ce4d6a809c6 by wenzelm:
update to Isabelle/42bc8ab751c1;
The file was modified tools/afp_check_roots.scala