]> matita.cs.unibo.it Git - helm.git/history - helm/software/components/binaries/transcript/options.ml
- Procedural: generation of "exact" is now complete
[helm.git] / helm / software / components / binaries / transcript / options.ml
2008-09-05 Ferruccio Guiditranscript: we now check for non-existing objects
2008-09-04 Ferruccio Guiditranscript: improved debuugging facilities