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.