]>
2003-12-17 | Stefano Zacchiroli | s/Logger/CicLogger/ | blob | commitdiff | raw |
2003-06-23 | Claudio Sacerdoti... | - help method added | blob | commitdiff | raw | diff to current |
2002-11-14 | Stefano Zacchiroli | name fix due to changes in libhttp-ocaml (e.g. s/Http... | blob | commitdiff | raw | diff to current |
2002-11-13 | Stefano Zacchiroli | switched to OCaml HTTP module | blob | commitdiff | raw | diff to current |
2002-01-29 | Claudio Sacerdoti... | Ported to ocaml-3.04 | blob | commitdiff | raw | diff to current |
2001-12-06 | Claudio Sacerdoti... | It now exits gracefully after an End-of-file. | blob | commitdiff | raw | diff to current |
2001-11-30 | Claudio Sacerdoti... | New implementation of the proof-checker daemon: there... | blob | commitdiff | raw | diff to current |
2001-11-29 | Claudio Sacerdoti... | CicCooking.init() must now be used to initialize the... | blob | commitdiff | raw | diff to current |
2001-11-27 | Claudio Sacerdoti... | First versione of the proofChecker into CVS. | blob | commitdiff | raw | diff to current |