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

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

[helm.git] / helm / matita / matitaScript.ml

2005-06-29	Enrico Tassi	fixed save/exit stuff	blob \| commitdiff \| raw
2005-06-27	Enrico Tassi	added autosave and * (modified feature)	blob \| commitdiff \| raw \| diff to current
2005-06-23	Enrico Tassi	Much simpler (and slightly more performant) implementat...	blob \| commitdiff \| raw \| diff to current
2005-06-17	Claudio Sacerdoti...	many strings that are supposed to be URIs are now UriMa...	blob \| commitdiff \| raw \| diff to current
2005-06-07	Enrico Tassi	added coercions	blob \| commitdiff \| raw \| diff to current
2005-06-01	Enrico Tassi	some cosmetic fixes	blob \| commitdiff \| raw \| diff to current
2005-05-31	Enrico Tassi	new shortcuts	blob \| commitdiff \| raw \| diff to current
2005-05-30	Andrea Asperti	added automathic aliases.	blob \| commitdiff \| raw \| diff to current
2005-05-27	Stefano Zacchiroli	- commented out no longer needed macros Redo, Undo...	blob \| commitdiff \| raw \| diff to current
2005-05-18	Enrico Tassi	fixed some macros, added test_abort.ma	blob \| commitdiff \| raw \| diff to current
2005-05-17	Enrico Tassi	fixed whelp bar	blob \| commitdiff \| raw \| diff to current
2005-05-16	Enrico Tassi	added comments, fixed history, added loadList to browser	blob \| commitdiff \| raw \| diff to current
2005-05-03	Enrico Tassi	added instance	blob \| commitdiff \| raw \| diff to current
2005-05-02	Enrico Tassi	added Match (partially) and sync with the count table	blob \| commitdiff \| raw \| diff to current
2005-04-28	Enrico Tassi	attached macros: hint(partial), check	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-10	Stefano Zacchiroli	bugfix: method 'advance' now took in input concrete...	blob \| commitdiff \| raw \| diff to current
2005-02-09	Stefano Zacchiroli	added script support a la coqide	blob \| commitdiff \| raw \| diff to current

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

RSS Atom