Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. backed out odd "bug fix" 671decd2e627;
  2. more recent polyml-test version; afford more heap by default: all platforms are now 64bit and presumably have sufficient memory;
  3. minimal document model for theory files;
  4. tuned signature;
Changeset 67018:f6aa133f9b16 by wenzelm:
backed out odd "bug fix" 671decd2e627;
The file was modified src/Pure/General/graph.scala (diff)
The file was modified src/Pure/Thy/sessions.scala (diff)
Changeset 67017:ce6454669360 by wenzelm:
more recent polyml-test version;<br>afford more heap by default: all platforms are now 64bit and presumably have sufficient memory;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
The file was modified Admin/polyml/settings (diff)
Changeset 67016:57d58c3cf16b by wenzelm:
minimal document model for theory files;
The file was addedsrc/Pure/Thy/thy_document_model.scala
The file was modified src/Pure/build-jars (diff)
Changeset 67015:1a9e2a2bf251 by wenzelm:
tuned signature;
The file was modified src/Pure/PIDE/resources.scala (diff)
The file was modified src/Tools/VSCode/src/vscode_resources.scala (diff)