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

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

[helm.git] / helm / gTopLevel / testlibrary.ml

2005-01-17	Enrico Tassi	new cicEnvironment implementation	blob \| commitdiff \| raw
2004-12-01	Enrico Tassi	Added universes handling. Tag PRE_UNIVERSES may help ;)	blob \| commitdiff \| raw \| diff to current
2004-06-01	Enrico Tassi	new universes implementation	blob \| commitdiff \| raw \| diff to current
2004-03-05	Claudio Sacerdoti...	Added option -timeout. Default is 5s.	blob \| commitdiff \| raw \| diff to current
2004-03-05	Claudio Sacerdoti...	HelmLogger logging function connected to MathQL Interpr...	blob \| commitdiff \| raw \| diff to current
2004-03-02	Claudio Sacerdoti...	Big bug fixed: batchParser applied the varsprefix prefi...	blob \| commitdiff \| raw \| diff to current
2004-03-02	Claudio Sacerdoti...	Improved output when [ MANY ] occurs.	blob \| commitdiff \| raw \| diff to current
2004-03-02	Claudio Sacerdoti...	The disambiguation now returns a list of interpretations.	blob \| commitdiff \| raw \| diff to current
2004-02-26	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2004-02-26	Claudio Sacerdoti...	triciclo.conf.xml ==> gTopLevel.conf.xml	blob \| commitdiff \| raw \| diff to current
2004-02-26	Claudio Sacerdoti...	Added () to MQInit.init.	blob \| commitdiff \| raw \| diff to current
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.

RSS Atom