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-02-18	Ferruccio Guidi	mathql interpreter flags can be now red from helm registry	blob \| commitdiff \| raw
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.