]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/invokeTactics.ml
...
[helm.git] / helm / gTopLevel / invokeTactics.ml
2004-12-01 Enrico TassiAdded universes handling. Tag PRE_UNIVERSES may help ;)
2004-11-03 Stefano Zacchirolino longer use Dbi module but directly use Mysql module...
2004-10-22 Stefano Zacchiroliauto needs DBI handle
2004-03-12 acerioniNew tactic Auto.
2004-02-11 Stefano Zacchirolinew getter, logger, and the hell
2004-02-05 Claudio Sacerdoti... fresh_name_generator has now also the metasenv parameter.
2003-12-16 Stefano Zacchiroli- fixed logging in log window so that spurious html...
2003-09-23 Claudio Sacerdoti... ProofEngine.proof is now an abstract data type (since...
2003-06-19 Claudio Sacerdoti... Merge of the V7_3_new_exportation branch.