Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. avoid download of components;
  2. local user_home for improved performance, but only after given changeset for stability of measurement history;
  3. support alternative USER_HOME directory;
  4. clarified settings environment;
  5. tuned signature;
  6. tuned;
  7. more options for "isabelle mkroot"; updated documentation;
  8. adapted to changed ROOT syntax (see 13857f49d215); discontinued pointless option -d: always enabled;
  9. converted to Isabelle/Scala;
Changeset 67049:0bb8369d10d6 by wenzelm:
avoid download of components;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 67048:ec438988b65a by wenzelm:
local user_home for improved performance, but only after given changeset for stability of measurement history;
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 67047:19b6091c2137 by wenzelm:
support alternative USER_HOME directory;
The file was modified src/Pure/Admin/build_history.scala (diff)
Changeset 67046:897f1ac84aab by wenzelm:
clarified settings environment;
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 67045:6c94f749410a by wenzelm:
tuned signature;
The file was modified src/Pure/Admin/build_history.scala (diff)
The file was modified src/Pure/Admin/build_release.scala (diff)
The file was modified src/Pure/Admin/other_isabelle.scala (diff)
Changeset 67044:3d81a1a67302 by wenzelm:
tuned;
The file was modified src/Doc/System/Environment.thy (diff)
Changeset 67043:848672fcaee5 by wenzelm:
more options for &quot;isabelle mkroot&quot;;<br>updated documentation;
The file was modified NEWS (diff)
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Pure/Tools/mkroot.scala (diff)
Changeset 67042:677cab7c2b85 by wenzelm:
adapted to changed ROOT syntax (see 13857f49d215);<br>discontinued pointless option -d: always enabled;
The file was modified src/Doc/System/Presentation.thy (diff)
The file was modified src/Doc/Tutorial/Documents/Documents.thy (diff)
The file was modified src/Pure/Tools/mkroot.scala (diff)
Changeset 67041:f8b0367046bd by wenzelm:
converted to Isabelle/Scala;
The file was addedsrc/Pure/Tools/mkroot.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
The file was removedlib/Tools/mkroot