src/Doc/System/Server.thy
15 months ago wenzelm 2018-03-22 misc tuning and clarification;
15 months ago wenzelm 2018-03-21 more documentation;
15 months ago wenzelm 2018-03-19 documentation for the Isabelle server;