Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. more accurate isabelle_id: parent directory is not necessarily at tip;
  2. store session: per Server/Context, not Connection; support for "session_stop";
  3. clarified server log; tuned options;
  4. support for "session_start";
Changeset 67872:39b27d38a54c by wenzelm:
more accurate isabelle_id: parent directory is not necessarily at tip;
The file was modified lib/Tools/version (diff)
The file was modified src/Pure/System/isabelle_system.scala (diff)
Changeset 67871:195ff117894c by wenzelm:
store session: per Server/Context, not Connection;<br>support for &quot;session_stop&quot;;
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/Tools/server_commands.scala (diff)
Changeset 67870:586be47e00b3 by wenzelm:
clarified server log;<br>tuned options;
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)
Changeset 67869:8cb4fef58379 by wenzelm:
support for &quot;session_start&quot;;
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)