[isabelle-dev] NEWS: Isabelle server

Makarius 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
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


More information about the isabelle-dev mailing list