Summary
- more accurate isabelle_id: parent directory is not necessarily at tip;
- store session: per Server/Context, not Connection; support for "session_stop";
- clarified server log; tuned options;
- support for "session_start";
The file was modified | lib/Tools/version (diff) |
The file was modified | src/Pure/System/isabelle_system.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/PIDE/markup.scala (diff) |
The file was modified | src/Pure/Tools/server.scala (diff) |
The file was modified | src/Tools/VSCode/src/server.scala (diff) |
The file was modified | src/Pure/Thy/sessions.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) |