KinoIsabelle.Output (kino_isabelle v0.1.0-alpha.1)

Copy Markdown View Source

Builds KinoIsabelle.Results and their Kino output.

Summary

Functions

result(theory, raw)

Builds the result for theory from a raw use_theories or failed-task result.

tabs(result)

Summary, Messages, Errors and Raw tabs.

Functions

result(theory, raw)

Builds the result for theory from a raw use_theories or failed-task result.

tabs(result)

Summary, Messages, Errors and Raw tabs.