]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/batchParser.ml
snapshort
[helm.git] / helm / gTopLevel / batchParser.ml
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-18 Ferruccio GuidibatchParser and regtest patched to avoid a non encapsul...
2004-02-11 Stefano Zacchirolinew getter, logger, and the hell
2004-02-07 Stefano Zacchiroli- added options "-vars" and "-varsprefix"
2004-01-30 Stefano Zacchiroliadded regression tests