]> matita.cs.unibo.it Git - helm.git/history - helm/ocaml/cic_proof_checking/cicEnvironment.mli
snapshot
[helm.git] / helm / ocaml / cic_proof_checking / cicEnvironment.mli
2004-06-01 Enrico Tassinew universes implementation
2004-04-05 Andrea AspertiAdded a new function in_cache to cicEnvironemt. It...
2003-09-13 Stefano Zacchiroliadded support for dump/restore/clear proof checker...
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch.
2002-10-21 Michele GalatàComments reindented.
2001-12-03 Claudio Sacerdoti... * Major code cleanup.
2001-11-26 Claudio Sacerdoti... HELM OCaml libraries with findlib support.