isabelle-client 0.1.0

Client to interact with Isabelle servers
Documentation