IsabelleClient.Server (isabelle_elixir v0.2.0)

View Source

Local Isabelle server lifecycle helpers.

Summary

Functions

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 descriptor maps.

start(name \\ "elixir", port \\ 9999)

Starts a local resident Isabelle server.

Functions

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 descriptor maps.

start(name \\ "elixir", port \\ 9999)

Starts a local resident Isabelle server.