isabelle_elixir
v0.4.1
Search documentation of isabelle_elixir
Settings
IsabelleClient.Result.SessionBuildEntry
(isabelle_elixir v0.4.1)
View Source
One session entry in a
session_build
result.