matita.cs.unibo.it Git - helm.git/history

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

2006-01-08	Claudio Sacerdoti...	Added $Id$ to every .ml file.	blob \| commitdiff \| raw
2005-11-04	Claudio Sacerdoti...	matita.opt are now considered as if they were matita	blob \| commitdiff \| raw \| diff to current
2005-11-03	Stefano Zacchiroli	better dependencies among modules and symlinking of...	blob \| commitdiff \| raw \| diff to current
2005-07-22	Alberto Griggio	added optional "paramodulation" parameter to auto to...	blob \| commitdiff \| raw \| diff to current
2005-07-21	Alberto Griggio	integration with paramodulation	blob \| commitdiff \| raw \| diff to current
2005-06-30	Stefano Zacchiroli	added license stuff	blob \| commitdiff \| raw \| diff to current
2005-06-28	Enrico Tassi	* new binary matitatop	blob \| commitdiff \| raw \| diff to current
2005-06-15	Claudio Sacerdoti...	a parser error is now logged as an error!	blob \| commitdiff \| raw \| diff to current
2005-06-14	Claudio Sacerdoti...	Bug fixed: when the final proof_status is not No_proof...	blob \| commitdiff \| raw \| diff to current
2005-06-08	Claudio Sacerdoti...	The getter maps are now dumped also if matitac exits...	blob \| commitdiff \| raw \| diff to current
2005-05-31	Andrea Asperti	added chronometer	blob \| commitdiff \| raw \| diff to current
2005-05-27	Enrico Tassi	fixed matitac	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	checked in new version of matita from svn	blob \| commitdiff \| raw \| diff to current
2005-04-27	Stefano Zacchiroli	removed all old matita files (kept in attic)	blob \| commitdiff \| raw
2005-02-14	Enrico Tassi	added choose_uri method to console, used by the interpr...	blob \| commitdiff \| raw \| diff to current
2005-02-04	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2005-02-03	Enrico Tassi	better owner hadling	blob \| commitdiff \| raw \| diff to current
2005-02-03	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2005-01-25	Enrico Tassi	- added code for Coercion command, Print Env command.	blob \| commitdiff \| raw \| diff to current
2005-01-21	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current
2005-01-18	Stefano Zacchiroli	snapshot, notably:	blob \| commitdiff \| raw \| diff to current

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

RSS Atom