]> matita.cs.unibo.it Git - helm.git/history - helm/proofChecker/proofChecker.ml
...
[helm.git] / helm / proofChecker / proofChecker.ml
2005-06-15 Enrico Tassisync with new typecheck prototype (no more univ graph)
2004-12-09 Stefano Zacchiroli(dummy) porting to universes
2004-11-18 Stefano Zacchiroliset environment trust to false to avoid dummy proof...
2004-06-17 Stefano Zacchirolibugfix: ignore proof checker output
2004-05-28 Claudio Sacerdoti... <h1> ==> <h3>
2004-05-20 Stefano Zacchiroliported to latest ocaml-http API
2004-02-16 Claudio Sacerdoti... - Ported to latest version of Helm_registry
2004-02-11 Claudio Sacerdoti... Ported to Http_registry and to HelmLogger.
2003-12-17 Stefano Zacchirolis/Logger/CicLogger/
2003-06-23 Claudio Sacerdoti... - help method added
2002-11-14 Stefano Zacchiroliname fix due to changes in libhttp-ocaml (e.g. s/Http...
2002-11-13 Stefano Zacchiroliswitched to OCaml HTTP module
2002-01-29 Claudio Sacerdoti... Ported to ocaml-3.04
2001-12-06 Claudio Sacerdoti... It now exits gracefully after an End-of-file.
2001-11-30 Claudio Sacerdoti... New implementation of the proof-checker daemon: there...
2001-11-29 Claudio Sacerdoti... CicCooking.init() must now be used to initialize the...
2001-11-27 Claudio Sacerdoti... First versione of the proofChecker into CVS.