IsabelleClient.Server (isabelle_elixir v0.3.0)

Local Isabelle server lifecycle helpers.

Summary

executable()

Returns the Isabelle tool executable path.

kill(name)

Force-kills a local resident Isabelle server by name.

list()

Lists local resident Isabelle servers.

parse_info(data)

Parses isabelle server output into server info structs.

Starts a local resident Isabelle server and returns its connection info.

Returns the Isabelle tool executable path.

The path is read from ISABELLE_TOOL when set. Otherwise isabelle is resolved from PATH and the resolved full path is stored in ISABELLE_TOOL.

Force-kills a local resident Isabelle server by name.

Lists local resident Isabelle servers.

Parses isabelle server output into server info structs.

Starts a local resident Isabelle server and returns its connection info.