Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more diagnostic operations (see also 5c7652e9bc01);
  2. more thorough consolidation: follow dependencies of forked proofs (e.g. see theories MaxPrefix vs. MaxChop in AFP/Functional-Automata);
  3. clarified signature selection: SortedSet[String], which fits better to stored json and works properly on Windows (NB: document theories have an authentic session-theory name);
  4. tuned;
  5. clarified modules;
  6. tuned signature;
  7. update to polyml-5e9c8155ea96, which is more robust on arm64;
  8. more robust dependencies for Pure;
  9. proper compiler root for arm64;
Changeset 77199:7d7786585ab0 by wenzelm:
more diagnostic operations (see also 5c7652e9bc01);
The file was modified src/Pure/PIDE/session.scala (diff)
Changeset 77198:9b35c1171d9a by wenzelm:
more thorough consolidation: follow dependencies of forked proofs (e.g. see theories MaxPrefix vs. MaxChop in AFP/Functional-Automata);
The file was modified src/Pure/PIDE/session.scala (diff)
Changeset 77197:a541da01ba67 by wenzelm:
clarified signature selection: SortedSet[String], which fits better to stored json and works properly on Windows (NB: document theories have an authentic session-theory name);
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/PIDE/document_editor.scala (diff)
The file was modified src/Pure/PIDE/editor.scala (diff)
The file was modified src/Pure/Thy/document_build.scala (diff)
The file was modified src/Tools/jEdit/src/theories_status.scala (diff)
Changeset 77196:3d709d300d0f by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 77195:e312c7fa3bad by wenzelm:
clarified modules;
The file was modified src/Pure/PIDE/document_editor.scala (diff)
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 77194:7438d516ab4f by wenzelm:
tuned signature;
The file was modified src/Tools/jEdit/src/document_dockable.scala (diff)
Changeset 77193:014c3d00e0f1 by wenzelm:
update to polyml-5e9c8155ea96, which is more robust on arm64;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 77192:198697983eec by wenzelm:
more robust dependencies for Pure;
The file was modified src/Pure/Tools/build.scala (diff)
Changeset 77191:c42bf52381f1 by wenzelm:
proper compiler root for arm64;
The file was modified src/Pure/Admin/build_polyml.scala (diff)