Modules
Livebook smart cell for Isabelle theories.
Normalises use_theories messages to %{kind, text, from, to} with cell
offsets, and buckets them by command span.
Builds KinoIsabelle.Results and their Kino output.
Maps Isabelle positions to offsets in the cell text.
Result of KinoIsabelle.check/2. Renders in Livebook as tabs.
The runtime's Isabelle server and its logic sessions.
Turns cell text into a theory file.