*** 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
disconnect/reconnect spontaneously.
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).
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
