package hol2dk

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.

0.0.1 (2023-11-22)

Added

• add command dump-use for dumping a file without including "hol.ml"

Modified

• rename mk-part command into mk
• the dump command now includes "hol.ml"
• do not print ocaml warnings while dumping proofs
• do not export unused proofs (about 7%)
• make hol2dk stat give the number of unused proofs

Fixed

• README.md
• output of hol2dk axm
• output of hol2dk mk

0.0.0 (2023-11-08)

First release.