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-11-29	Claudio Sacerdoti...	* Part of matita that used to deal with the library...	blob \| commitdiff \| raw
2005-11-23	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-10-05	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-29	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-26	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-26	Enrico Tassi	./matitaclean all removes all	blob \| commitdiff \| raw \| diff to current
2005-09-26	Enrico Tassi	MatitacleanLib.remove_baseuris will remove empty direct...	blob \| commitdiff \| raw \| diff to current
2005-09-23	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-23	Enrico Tassi	fix	blob \| commitdiff \| raw \| diff to current
2005-09-20	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-20	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-20	Enrico Tassi	all initialization code is now in the new matitaInit...	blob \| commitdiff \| raw \| diff to current
2005-09-20	Enrico Tassi	matitadep now parses notation.	blob \| commitdiff \| raw \| diff to current
2005-09-20	Enrico Tassi	development windows now avoids doing an anction selecti...	blob \| commitdiff \| raw \| diff to current
2005-09-19	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-19	Claudio Sacerdoti...	Great speed-up in alias_diff (about 3x).	blob \| commitdiff \| raw \| diff to current
2005-09-19	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-19	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-16	Enrico Tassi	added a function to reorder the metasenv.	blob \| commitdiff \| raw \| diff to current
2005-09-16	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-16	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-15	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-12	Stefano Zacchiroli	Added support for multiple disambiguation passes.	blob \| commitdiff \| raw \| diff to current
2005-09-12	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-12	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-12	Claudio Sacerdoti...	An old note (that goes back to July) integrated in...	blob \| commitdiff \| raw \| diff to current
2005-09-08	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-08	Stefano Zacchiroli	items related to lazy parsing	blob \| commitdiff \| raw \| diff to current
2005-09-07	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-06	Stefano Zacchiroli	done 1 item	blob \| commitdiff \| raw \| diff to current
2005-09-06	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-06	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-06	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-06	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-05	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-05	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-05	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-05	Claudio Sacerdoti...	Critical bug fixed: the get_cooked_obj was called on...	blob \| commitdiff \| raw \| diff to current
2005-09-02	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-02	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-02	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-02	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-01	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-01	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
2005-09-01	Claudio Sacerdoti...	...	blob \| commitdiff \| raw \| diff to current
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
next