]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/testlibrary.ml
...
[helm.git] / helm / gTopLevel / testlibrary.ml
2005-01-17 Enrico Tassinew cicEnvironment implementation
2004-12-01 Enrico TassiAdded universes handling. Tag PRE_UNIVERSES may help ;)
2004-06-01 Enrico Tassinew universes implementation
2004-03-05 Claudio Sacerdoti... Added option -timeout. Default is 5s.
2004-03-05 Claudio Sacerdoti... HelmLogger logging function connected to MathQL Interpr...
2004-03-02 Claudio Sacerdoti... Big bug fixed: batchParser applied the varsprefix prefi...
2004-03-02 Claudio Sacerdoti... Improved output when [ MANY ] occurs.
2004-03-02 Claudio Sacerdoti... The disambiguation now returns a list of interpretations.
2004-02-26 Claudio Sacerdoti... ...
2004-02-26 Claudio Sacerdoti... triciclo.conf.xml ==> gTopLevel.conf.xml
2004-02-26 Claudio Sacerdoti... Added () to MQInit.init.
2004-02-18 Stefano Zacchiroli- better error message on "unknown identifier"
2004-02-11 Stefano Zacchirolinew getter, logger, and the hell
2004-02-10 Claudio Sacerdoti... - fixed final log reporting (that was broken by one...
2004-02-09 Claudio Sacerdoti... Added flag ?eta_fix:bool to acic_object_of_cic_object.
2004-02-07 Stefano Zacchiroli- added options "-vars" and "-varsprefix"
2004-02-05 Stefano Zacchiroli- added support for multiple choices
2004-02-05 Stefano Zacchirolibetter output format
2004-02-05 Stefano Zacchiroli- added testlibrary .opts
2004-02-05 Stefano Zacchiroliadded testlibrary script