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

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

2004-02-26	Claudio Sacerdoti...	Added () to MQInit.init.	blob \| commitdiff \| raw
2004-02-18	Stefano Zacchiroli	- better error message on "unknown identifier"	blob \| commitdiff \| raw \| diff to current
2004-02-11	Stefano Zacchiroli	new getter, logger, and the hell	blob \| commitdiff \| raw \| diff to current
2004-02-10	Claudio Sacerdoti...	- fixed final log reporting (that was broken by one...	blob \| commitdiff \| raw \| diff to current
2004-02-09	Claudio Sacerdoti...	Added flag ?eta_fix:bool to acic_object_of_cic_object.	blob \| commitdiff \| raw \| diff to current
2004-02-07	Stefano Zacchiroli	- added options "-vars" and "-varsprefix"	blob \| commitdiff \| raw \| diff to current
2004-02-05	Stefano Zacchiroli	- added support for multiple choices	blob \| commitdiff \| raw \| diff to current
2004-02-05	Stefano Zacchiroli	better output format	blob \| commitdiff \| raw \| diff to current
2004-02-05	Stefano Zacchiroli	- added testlibrary .opts	blob \| commitdiff \| raw \| diff to current
2004-02-05	Stefano Zacchiroli	added testlibrary script	blob \| commitdiff \| raw \| diff to current

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