matita.cs.unibo.it Git - helm.git/history - helm/proofChecker/proofChecker.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/proofChecker/proofChecker.ml

projects / helm.git / history

summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next

[helm.git] / helm / proofChecker / proofChecker.ml

2005-06-15	Enrico Tassi	sync with new typecheck prototype (no more univ graph)	blob \| commitdiff \| raw
2004-12-09	Stefano Zacchiroli	(dummy) porting to universes	blob \| commitdiff \| raw \| diff to current
2004-11-18	Stefano Zacchiroli	set environment trust to false to avoid dummy proof...	blob \| commitdiff \| raw
2004-06-17	Stefano Zacchiroli	bugfix: ignore proof checker output	blob \| commitdiff \| raw \| diff to current
2004-05-28	Claudio Sacerdoti...	<h1> ==> <h3>	blob \| commitdiff \| raw \| diff to current
2004-05-20	Stefano Zacchiroli	ported to latest ocaml-http API	blob \| commitdiff \| raw \| diff to current
2004-02-16	Claudio Sacerdoti...	- Ported to latest version of Helm_registry	blob \| commitdiff \| raw \| diff to current
2004-02-11	Claudio Sacerdoti...	Ported to Http_registry and to HelmLogger.	blob \| commitdiff \| raw \| diff to current
2003-12-17	Stefano Zacchiroli	s/Logger/CicLogger/	blob \| commitdiff \| raw \| diff to current
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

Unnamed repository; edit this file 'description' to name the repository.