]>
2002-11-13 | Stefano Zacchiroli | switched to OCaml HTTP module | commit | commitdiff |
2002-10-25 | Claudio Sacerdoti... | Better configuration management. | commit | commitdiff |
2002-01-29 | Claudio Sacerdoti... | Ported to ocaml-3.04 | commit | commitdiff |
2001-11-30 | Claudio Sacerdoti... | ... | commit | commitdiff |
2001-11-30 | Claudio Sacerdoti... | New implementation of the proof-checker daemon: there... | commit | commitdiff |