Summary
- added command "purge_theories"; proper documentation: command "use_theories" is asynchronous;
- clarified signature -- eliminated somewhat pointless positions;
- clarified signature -- more like use_theories;
- clarified;
- removed somewhat pointless argument;
- support for purge_theories;
- clarified signature;
- tuned;
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) |
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) |
The file was modified | src/Pure/Thy/thy_resources.scala (diff) |
The file was modified | src/Doc/System/Server.thy (diff) |
The file was modified | src/Doc/System/Server.thy (diff) |
The file was modified | src/Pure/Tools/server_commands.scala (diff) |
The file was modified | src/Pure/Thy/thy_resources.scala (diff) |
The file was modified | src/Pure/General/graph.scala (diff) |
The file was modified | src/Tools/jEdit/src/document_model.scala (diff) |