Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. added command "purge_theories"; proper documentation: command "use_theories" is asynchronous;
  2. clarified signature -- eliminated somewhat pointless positions;
  3. clarified signature -- more like use_theories;
  4. clarified;
  5. removed somewhat pointless argument;
  6. support for purge_theories;
  7. clarified signature;
  8. tuned;
  9. more robust timing info: do not rely on order of markup;
  10. clarified signature;
  11. field "kind" is always present, with default "writeln";
  12. merged
  13. eliminated "elems"
  14. NEWS and CONTRIBUTORS
Changeset 67941:49a34b2fa788 by wenzelm:
added command &quot;purge_theories&quot;;<br>proper documentation: command &quot;use_theories&quot; is asynchronous;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67940:b4e80f062fbf by wenzelm:
clarified signature -- eliminated somewhat pointless positions;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/Thy/thy_resources.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67939:544a7a21298e by wenzelm:
clarified signature -- more like use_theories;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 67938:da44f151f716 by wenzelm:
clarified;
The file was modified src/Doc/System/Server.thy (diff)
Changeset 67937:91eb307511bb by wenzelm:
removed somewhat pointless argument;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67936:141a93b93aa6 by wenzelm:
support for purge_theories;
The file was modified src/Pure/Thy/thy_resources.scala (diff)
Changeset 67935:61888dd27f73 by wenzelm:
clarified signature;
The file was modified src/Pure/General/graph.scala (diff)
Changeset 67934:5b0636910618 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 67933:604da273e18d by wenzelm:
more robust timing info: do not rely on order of markup;
The file was modified src/Pure/PIDE/rendering.scala (diff)
Changeset 67932:04352338f7f3 by wenzelm:
clarified signature;
The file was modified src/Pure/General/timing.ML (diff)
The file was modified src/Pure/Isar/proof.ML (diff)
The file was modified src/Pure/Isar/toplevel.ML (diff)
Changeset 67931:f7917c15b566 by wenzelm:
field &quot;kind&quot; is always present, with default &quot;writeln&quot;;
The file was modified src/Doc/System/Server.thy (diff)
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67930:7dff1186daf3 by nipkow:
merged
Changeset 67929:30486b96274d by nipkow:
eliminated &quot;elems&quot;
The file was modified src/HOL/Data_Structures/Brother12_Set.thy (diff)
The file was modified src/HOL/Data_Structures/Isin2.thy (diff)
The file was modified src/HOL/Data_Structures/List_Ins_Del.thy (diff)
The file was modified src/HOL/Data_Structures/Set_by_Ordered.thy (diff)
The file was modified src/HOL/Data_Structures/Tree234_Set.thy (diff)
The file was modified src/HOL/Data_Structures/Tree23_Set.thy (diff)
The file was modified src/HOL/Data_Structures/Tree_Set.thy (diff)
Changeset 67928:7f5b1b6f7f40 by haftmann:
NEWS and CONTRIBUTORS
The file was modified CONTRIBUTORS (diff)
The file was modified NEWS (diff)