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

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

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

RSS Atom

2005-09-01	Claudio Sacerdoti...	...	blob \| commitdiff \| raw
2005-09-01	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-08-31	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-08-30	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-08-30	Claudio Sacerdoti...	A parser for aliases implemented (required by the Whelp).	blob \| commitdiff \| raw \| diff to current
2005-08-29	Claudio Sacerdoti...	WARNING: this commit changes the DB representation...	blob \| commitdiff \| raw \| diff to current
2005-08-29	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-08-29	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-08-28	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-08-24	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-08-22	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-28	Claudio Sacerdoti...	The logo is now showed in the sequents_viewer window...	blob \| commitdiff \| raw \| diff to current
2005-07-28	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-28	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-28	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-28	Claudio Sacerdoti...	Management of automatic insertion of aliases and "goal...	blob \| commitdiff \| raw \| diff to current
2005-07-27	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-27	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-26	Claudio Sacerdoti...	Flickering bug fixed.	blob \| commitdiff \| raw \| diff to current
2005-07-26	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-26	Claudio Sacerdoti...	** Experimental: **	blob \| commitdiff \| raw \| diff to current
2005-07-26	Enrico Tassi	...	blob \| commitdiff \| raw \| diff to current
2005-07-25	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-25	Claudio Sacerdoti...	Bug solved: X-style paste (i.e. paste of the PRIMARY...	blob \| commitdiff \| raw \| diff to current
2005-07-25	Claudio Sacerdoti...	Highlighting of parse errors implemented.	blob \| commitdiff \| raw \| diff to current
2005-07-25	Claudio Sacerdoti...	Bug fixed: the _advance method must delete the parsed...	blob \| commitdiff \| raw \| diff to current
2005-07-25	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-25	Claudio Sacerdoti...	The edit menu items (copy/cut/delete/paste) are now...	blob \| commitdiff \| raw \| diff to current
2005-07-25	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-22	Claudio Sacerdoti...	When matita is started on a non-existent file, it avoid...	blob \| commitdiff \| raw \| diff to current
2005-07-22	Claudio Sacerdoti...	matitaclean all now destroys the .matita/xml directory	blob \| commitdiff \| raw \| diff to current
2005-07-22	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-21	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-21	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-21	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-20	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-20	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-20	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-20	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-20	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-19	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-19	Claudio Sacerdoti...	New menus Undo/Redo (bugged), Cut/Copy/Paste/Delete.	blob \| commitdiff \| raw \| diff to current
2005-07-19	Enrico Tassi	blocked undo of authomatic text (template)	blob \| commitdiff \| raw \| diff to current
2005-07-19	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-19	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-18	Claudio Sacerdoti...	- A few suggestions on how to solve a few bugs	blob \| commitdiff \| raw \| diff to current
2005-07-18	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-07-15	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2005-07-13	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2005-07-13	Enrico Tassi	copied text is unlocked :)	blob \| commitdiff \| raw \| diff to current
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