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 /lib/isabelle/manual/document.pdf | |
| 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 'lib/isabelle/manual/document.pdf')
| -rw-r--r-- | lib/isabelle/manual/document.pdf | bin | 0 -> 216829 bytes |
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/isabelle/manual/document.pdf b/lib/isabelle/manual/document.pdf Binary files differnew file mode 100644 index 00000000..200f8e22 --- /dev/null +++ b/lib/isabelle/manual/document.pdf |