]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/batchParser.mli
...
[helm.git] / helm / gTopLevel / batchParser.mli
2004-12-01 Enrico TassiAdded universes handling. Tag PRE_UNIVERSES may help ;)
2004-11-26 Stefano Zacchiroliported to Mysql
2004-03-02 Claudio Sacerdoti... Big bug fixed: batchParser applied the varsprefix prefi...
2004-03-02 Claudio Sacerdoti... The regression tests now check also the generated disam...
2004-03-02 Claudio Sacerdoti... The disambiguation now returns a list of interpretations.
2004-02-18 Ferruccio Guidimathql interpreter flags can be now red from helm registry
2004-02-07 Stefano Zacchiroli- added options "-vars" and "-varsprefix"
2004-01-30 Stefano Zacchiroliadded regression tests