Module server

Source

Structs§

IsabelleServer
A running Isabelle server instance.

Functions§

exit
Exists the Isabelle server with the given name.
run_server
Runs the Isabelle server and returns an IsabelleServer instance containing port and password. If a server is already running with the given name, the function returns the port and password of the instance. If no server is running with the given name, the function starts a new server. The server not shut down, even if this terminates. To stop it, you need to call IsabelleServer::exit or exit.