Isabelle/DOF is a novel Document Ontology Framework on top of Isabelle. Isabelle/DOF allows for both conventional typesetting as well as formal development.
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 
 
 
 
 

635 B

Changelog

All notable changes to this project will be documented in this file.

The format is based on Keep a Changelog and this project adheres to Semantic Versioning.

Unreleased

Added

Changed

1.1.0 - 2021-03-20

Added

  • New antiquotations, consistency checks

Changed

  • Updated manual
  • Restructured setup for ontologies (Isabelle theories and LaTeX styles)

1.0.0 - 2018-08-18

Added

  • First public release