Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. documentation for the Isabelle server;
  2. clarified message name: disallow single quote;
Changeset 67904:465f43a9f780 by wenzelm:
documentation for the Isabelle server;
The file was addedsrc/Doc/System/Server.thy
The file was modified NEWS (diff)
The file was modified lib/Tools/client (diff)
The file was modified src/Doc/ROOT (diff)
The file was modified src/Doc/System/Environment.thy (diff)
The file was modified src/Doc/System/document/root.tex (diff)
The file was modified src/Pure/Tools/server.scala (diff)
Changeset 67903:6e85d866251f by wenzelm:
clarified message name: disallow single quote;
The file was modified src/Pure/Tools/server.scala (diff)