Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. clarified signature;
  2. clarified messages (amending 3e072441c96a);
  3. session tmp_dir is default master_dir;
  4. tuned output;
  5. tuned;
  6. clarified theory node name; purge_theories: return purged, retained; tuned documentation;
  7. added lemma
Changeset 67948:83902fff6243 by wenzelm:
clarified signature;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 67947:ad735a551a11 by wenzelm:
clarified messages (amending 3e072441c96a);
The file was modified src/Pure/Tools/server_commands.scala (diff)
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)
Changeset 67942:a3e5f08e6b58 by nipkow:
added lemma
The file was modified src/HOL/List.thy (diff)