IsabelleClient.Result.SessionBuildEntry (isabelle_elixir v0.4.0)

View Source

One session entry in a session_build result.