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

Fixed Isabelle version in heading.

Browse Source
This commit is contained in:
Achim D. Brucker 2025-04-24 09:07:51 +01:00
parent 98ecc2ca28
commit d9457d4fde
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Isabelle_DOF-add_ons-2025/README.md
View File

@ -1,4 +1,4 @@
# [Isabelle/DOF 2004 Add-Ons](https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF)
# [Isabelle/DOF 2025 Add-Ons](https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF)
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle.
Isabelle/DOF allows for both conventional typesetting and formal development.

2
README.md
View File

@ -1,4 +1,4 @@
# [Isabelle/DOF 2004 Add-Ons](https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF)
# [Isabelle/DOF 2025 Add-Ons](https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF)
Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle.
Isabelle/DOF allows for both conventional typesetting and formal development.