Summary
- documentation for the Isabelle server;
- clarified message name: disallow single quote;
The file was added | src/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) |
The file was modified | src/Pure/Tools/server.scala (diff) |