Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Announcement: Isabelle/DOF 1.1.0


view this post on Zulip Email Gateway (Apr 06 2021 at 18:47):

From: "Achim D. Brucker" <brucker@spamfence.net>
Dear all,
We proudly present our next public release for our Document Ontology
Framework (DOF) conceived as add-on of Isabelle/HOL. The installation
should work under Isabelle 2021 and TeX Live 2021 out of the box.

Homepage: https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF
Long-term Archive: https://zenodo.org/record/4625176

Best,
Achim & Burkhart

MISSION
=======
DOF permits to annotate theory-elements and terms
with structured, typed meta-data, which were used in
automatically generated antiquotations. DOF applications
are currently mostly geared (but not restricted) to document
generation processes, so mostly technical reports,
theory-documentations, and scientific papers.
The meta-data can be specified in a HOL-like syntax
via Ontologies, that were associated to appropriate
LaTeX style files. IDE Support in Isabelle/PIDE allows for
a smooth, ontology-conform editing process of texts that
contain both formal and informal content as well as
machine-checked links between them.

KEY FEATURES
=============


Last updated: Dec 08 2021 at 09:20 UTC