Skip to content
Success

Changes

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
  6. merged
  7. An assortment of new material, mostly due to Manuel
  8. rebuild rsync-3.2.7 on current platforms, including native arm64-darwin; provide official etc/platforms.props, to retain platform directories after Components.Directory.clean() -- e.g. for SSH upload;
  9. tuned signature;
  10. tuned;
  11. tuned signature;
  12. merged
  13. added lemma wfp_on_image and author name to theory
The file was modified src/Pure/General/toml.scala (diff)
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 (diff)
Changeset 80056:9279e96eb34e by wenzelm:
clarified signature;
The file was modified src/Pure/Admin/afp.scala (diff)
The file was modified src/Pure/Build/build.scala (diff)
The file was modified src/Pure/Build/build_schedule.scala (diff)
Changeset 80055:42bc8ab751c1 by wenzelm:
clarified modules: more official Sessions.notable_groups;
The file was modified src/Pure/Admin/afp.scala (diff)
The file was modified src/Pure/Admin/build_status.scala (diff)
The file was modified src/Pure/Build/sessions.scala (diff)
Changeset 80054:f8d7df38d7c6 by nipkow:
tuned
The file was modified src/Doc/Prog_Prove/Isar.thy (diff)
Changeset 80053:44d8fb3da9d5 by paulson:
merged
Changeset 80052:35b2143aeec6 by paulson _lp15@cam.ac.uk_:
An assortment of new material, mostly due to Manuel
The file was modified src/HOL/Analysis/Henstock_Kurzweil_Integration.thy (diff)
The file was modified src/HOL/Analysis/Homotopy.thy (diff)
The file was modified src/HOL/Analysis/Path_Connected.thy (diff)
The file was modified src/HOL/Analysis/Smooth_Paths.thy (diff)
The file was modified src/HOL/Complex_Analysis/Contour_Integration.thy (diff)
The file was modified src/HOL/Complex_Analysis/Winding_Numbers.thy (diff)
The file was modified src/HOL/Transcendental.thy (diff)
Changeset 80051:9cdc4f533b91 by wenzelm:
rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;<br>provide official etc/platforms.props, to retain platform directories after Components.Directory.clean() -- e.g. for SSH upload;
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_rsync.scala (diff)
Changeset 80050:7d8a24c5559d by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/component_bash_process.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
Changeset 80049:b525f783b784 by wenzelm:
tuned;
The file was modified src/Pure/Admin/component_bash_process.scala (diff)
The file was modified src/Pure/Admin/component_csdp.scala (diff)
The file was modified src/Pure/Admin/component_e.scala (diff)
The file was modified src/Pure/Admin/component_minisat.scala (diff)
The file was modified src/Pure/Admin/component_rsync.scala (diff)
The file was modified src/Pure/Admin/component_spass.scala (diff)
The file was modified src/Pure/Admin/component_vampire.scala (diff)
The file was modified src/Pure/Admin/component_verit.scala (diff)
The file was modified src/Pure/Admin/component_zipperposition.scala (diff)
Changeset 80048:a213dd3c0b29 by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/component_bash_process.scala (diff)
The file was modified src/Pure/System/components.scala (diff)
Changeset 80047:19cc354ba625 by desharna:
merged
Changeset 80046:38803a6b3357 by desharna:
added lemma wfp_on_image and author name to theory
The file was modified NEWS (diff)
The file was modified src/HOL/Wellfounded.thy (diff)