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;
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)