# `KinoIsabelle.Output`
[🔗](https://github.com/jcschuster/kino_isabelle/blob/v0.1.0-alpha.1/lib/kino_isabelle/output.ex#L1)

Builds `KinoIsabelle.Result`s and their Kino output.

# `result`

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

# `tabs`

Summary, Messages, Errors and Raw tabs.

---

*Consult [api-reference.md](api-reference.md) for complete listing*