Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. misc tuning and modernization;
  2. improved performance of remove, e.g. relevant for Theories_Dockable.purge;
  3. more uniform platform settings;
Changeset 65075:03e6aa683c4d by wenzelm:
misc tuning and modernization;
The file was modified src/HOL/Library/Ramsey.thy (diff)
Changeset 65074:df14a0e872e6 by wenzelm:
improved performance of remove, e.g. relevant for Theories_Dockable.purge;
The file was modified src/Pure/Thy/thy_syntax.scala (diff)
Changeset 65073:b5bf76cf2b4e by wenzelm:
more uniform platform settings;
The file was modified Admin/PLATFORMS (diff)
The file was modified NEWS (diff)
The file was modified lib/scripts/isabelle-platform (diff)