diff options
| author | Thomas Bauereiss | 2018-04-18 21:13:44 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2018-04-18 21:52:18 +0100 |
| commit | 3194f0f124b4f1e83d1248a4c52ed05eb3de2837 (patch) | |
| tree | c295e0e5f3e27ed19ec6f211e35c0830698eecf2 /src/interpreter.ml | |
| parent | a71cd4cc5f8f0ef24aa10991fc4f3ceb850a534a (diff) | |
Add generated PDF of documentation draft --- comments welcome
Placed in lib/isabelle/manual/document.pdf
Also fixed a few typos.
Diffstat (limited to 'src/interpreter.ml')
0 files changed, 0 insertions, 0 deletions