Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. merged
  2. proper check for active server;
  3. clarified signature;
  4. tuned signature;
  5. handle server connections;
  6. clarified database names;
  7. more options; misc tuning and clarification;
  8. support for resident Isabelle servers;
  9. default according to Java API, instead of jEdit usage;
Changeset 66354:8bf96de50193 by wenzelm:
merged
Changeset 66353:6e114edae18b by wenzelm:
proper check for active server;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 66352:7ed911242266 by wenzelm:
clarified signature;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 66351:95847ffa62dc by wenzelm:
tuned signature;
The file was modified src/Pure/Tools/server.scala (diff)
The file was modified src/Pure/library.scala (diff)
The file was modified src/Tools/VSCode/src/grammar.scala (diff)
The file was modified src/Tools/jEdit/src/plugin.scala (diff)
Changeset 66350:66331026a2fc by wenzelm:
handle server connections;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 66349:66b843e4cff5 by wenzelm:
clarified database names;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 66348:a426e826e84c by wenzelm:
more options;<br>misc tuning and clarification;
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 66347:23eaab37e4a8 by wenzelm:
support for resident Isabelle servers;
The file was addedsrc/Pure/Tools/server.scala
The file was modified src/Pure/System/isabelle_tool.scala (diff)
The file was modified src/Pure/build-jars (diff)
Changeset 66346:30663525e057 by wenzelm:
default according to Java API, instead of jEdit usage;
The file was modified src/Pure/System/system_channel.scala (diff)