Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Mentioned Isabelle/DOF manual in the first paragraph (instead of only in the release notes).

This commit is contained in:
Achim D. Brucker 2019-12-06 13:29:25 +00:00
parent 6ca30df9ba
commit 5a97a2bb4b
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -2,7 +2,8 @@
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle.
Isabelle/DOF allows for both conventional typesetting as well as formal
development.
development. The manual for [Isabelle/DOF 1.0.0/Isabelle2019 is available
online.](https://artifacts.logicalhacking.com/releases/Isabelle_DOF/Isabelle_DOF/Isabelle_DOF-1.0.0_Isabelle2019.pdf)
## Running Isabelle/DOF using Docker