Changelog

Copy Markdown View Source

0.1.0-alpha.1

First pre-release.

  • "Isabelle theory" smart cell: CodeMirror editor with outer-syntax highlighting, symbol display and symbol completion; Check button; errors and warnings as lint diagnostics; panel with the messages of the command under the cursor.
  • The cell binds its result to a variable set in the toolbar ("Assign to").
  • KinoIsabelle.check/2, returning a KinoIsabelle.Result that renders as Summary / Messages / Errors / Raw tabs.
  • One Isabelle server per runtime, started on the first check and stopped with the runtime.