[isabelle-dev] NEWS: Isabelle server
makarius at sketis.net
Mon Mar 19 19:35:07 CET 2018
*** System ***
* The command-line tools "isabelle server" and "isabelle client" provide
access to the Isabelle Server: it supports responsive session management
and concurrent use of theories, based on Isabelle/PIDE infrastructure.
See also the "system" manual.
This refers to Isabelle/465f43a9f780. The chapter in the "system" manual
provides general explanations, but lacks the description of specific
server commands: these may be derived from
src/Pure/Tools/server_commands.scala right now.
It is only the start of a serious server, many more ideas are still in
the pipeline, e.g. forwarding over an SSH tunnel that may
Various people who want to build tools on top of Isabelle have asked
about a proper server recently, so this is the opportunity to get
started using it, while it slowly stabilizes towards the Isabelle2018
release (approx. August 2018).
More information about the isabelle-dev