Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. session tmp_dir is default master_dir;
  2. tuned output;
  3. tuned;
  4. clarified theory node name; purge_theories: return purged, retained; tuned documentation;
Changeset 67946:e1e57c288e45 by wenzelm:
session tmp_dir is default master_dir;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 67945:984c3dc46cc0 by wenzelm:
tuned output;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 67944:cb2b1a75ff59 by wenzelm:
tuned;
The file was modified src/Doc/System/Server.thy (diff)
Changeset 67943:b45f0c0ea14f by wenzelm:
clarified theory node name;<br>purge_theories: return purged, retained;<br>tuned documentation;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/PIDE/document.scala (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)