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

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

2004-12-01	Enrico Tassi	Added universes handling. Tag PRE_UNIVERSES may help ;)	blob \| commitdiff \| raw
2004-11-26	Stefano Zacchiroli	ported to Mysql	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...	The regression tests now check also the generated disam...	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-18	Ferruccio Guidi	mathql interpreter flags can be now red from helm registry	blob \| commitdiff \| raw \| diff to current
2004-02-18	Ferruccio Guidi	batchParser and regtest patched to avoid a non encapsul...	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-07	Stefano Zacchiroli	- added options "-vars" and "-varsprefix"	blob \| commitdiff \| raw \| diff to current
2004-01-30	Stefano Zacchiroli	added regression tests	blob \| commitdiff \| raw \| diff to current

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