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

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

2005-07-13	Enrico Tassi	copied text is unlocked :)	blob \| commitdiff \| raw
2005-07-11	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2005-07-11	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2005-07-11	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-11	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-11	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-11	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-11	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-11	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-11	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-08	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-08	Stefano Zacchiroli	added some items	blob \| commitdiff \| raw \| diff to current
2005-07-08	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-08	Claudio Sacerdoti...	1. PrimitiveTactics.new_metasenv_for_apply changed...	blob \| commitdiff \| raw \| diff to current
2005-07-08	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-07	Stefano Zacchiroli	added some other items	blob \| commitdiff \| raw \| diff to current
2005-07-07	Stefano Zacchiroli	added some todo items	blob \| commitdiff \| raw \| diff to current
2005-07-07	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-07	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-07	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-06-30	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-06-27	Claudio Sacerdoti...	clear already exists	blob \| commitdiff \| raw \| diff to current
2005-06-27	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-06-27	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-06-27	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2005-06-15	Claudio Sacerdoti...	Big commit and major code clean-up:	blob \| commitdiff \| raw \| diff to current
2005-06-10	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-06-09	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-06-01	Enrico Tassi	reduce with path	blob \| commitdiff \| raw \| diff to current
2005-06-01	Enrico Tassi	some cosmetic fixes	blob \| commitdiff \| raw \| diff to current
2005-05-25	Ferruccio Guidi	some work for Gares	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-16	Enrico Tassi	added comments, fixed history, added loadList to browser	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

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

RSS Atom