matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/invokeTactics.ml

]> matita.cs.unibo.it Git - helm.git/history - helm/gTopLevel/invokeTactics.ml

2004-12-01	Enrico Tassi	Added universes handling. Tag PRE_UNIVERSES may help ;)	blob \| commitdiff \| raw
2004-11-03	Stefano Zacchiroli	no longer use Dbi module but directly use Mysql module...	blob \| commitdiff \| raw \| diff to current
2004-10-22	Stefano Zacchiroli	auto needs DBI handle	blob \| commitdiff \| raw \| diff to current
2004-03-12	acerioni	New tactic Auto.	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-05	Claudio Sacerdoti...	fresh_name_generator has now also the metasenv parameter.	blob \| commitdiff \| raw \| diff to current
2003-12-16	Stefano Zacchiroli	- fixed logging in log window so that spurious html...	blob \| commitdiff \| raw \| diff to current
2003-09-23	Claudio Sacerdoti...	ProofEngine.proof is now an abstract data type (since...	blob \| commitdiff \| raw \| diff to current
2003-06-19	Claudio Sacerdoti...	Merge of the V7_3_new_exportation branch.	blob \| commitdiff \| raw \| diff to current

Unnamed repository; edit this file 'description' to name the repository.