Summary
- support for "use_theories";
- JSON representation for Position.T;
- interruptible exploration of dependencies;
- tuned signature;
- clarified signature;
- clarified signature;
- tuned message;
The file was modified | src/Pure/PIDE/protocol.scala (diff) |
The file was modified | src/Pure/Thy/thy_resources.scala (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/Pure/General/position.scala (diff) |
The file was modified | src/Pure/PIDE/resources.scala (diff) |
The file was modified | src/Pure/Thy/thy_resources.scala (diff) |
The file was modified | src/Pure/System/progress.scala (diff) |
The file was modified | src/Pure/Thy/sessions.scala (diff) |
The file was modified | src/Pure/Tools/check_keywords.scala (diff) |
The file was modified | src/Pure/Thy/thy_resources.scala (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/Pure/Thy/thy_resources.scala (diff) |