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

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

2005-07-26	Claudio Sacerdoti...	locate_in_term generalized to locate_in_conjecture	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	Comments added.	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	Bug solved: the #reparent method of Gtk should NOT...	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	Implementation of locate_in finished.	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	** Experimental: **	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	typo fixed	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	"Coq's " prefix added to every interpretation.	commit \| commitdiff \| tree
2005-07-26	Claudio Sacerdoti...	Bug fixed: list_uniq o List.sort used in the lookup...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	More notation (up to where the open bugs allow me to...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	A little bit more of notation here and there.	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	Notation for equality used everywhere.	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	Bug solved: X-style paste (i.e. paste of the PRIMARY...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	paramodulation added.	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	Highlighting of parse errors implemented.	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	Code simplification.	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	Bug fixed: the _advance method must delete the parsed...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	1. select_all added to the Edit menu; no shortcut for...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	The edit menu items (copy/cut/delete/paste) are now...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	- MatitaLog output redirected to stderr for every message...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	Paramodulation initialized.	commit \| commitdiff \| tree
2005-07-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-22	Claudio Sacerdoti...	When matita is started on a non-existent file, it avoids...	commit \| commitdiff \| tree
2005-07-22	Claudio Sacerdoti...	Original semantics of a now almost random piece of...	commit \| commitdiff \| tree
2005-07-22	Claudio Sacerdoti...	matitaclean all now destroys the .matita/xml directory	commit \| commitdiff \| tree
2005-07-22	Claudio Sacerdoti...	Big changes:	commit \| commitdiff \| tree
2005-07-22	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-21	Claudio Sacerdoti...	Bug fixed: LICENSE and AUTHORS were searched in the...	commit \| commitdiff \| tree
2005-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-21	Claudio Sacerdoti...	Regression fixed: goto used to stop (again!) to the...	commit \| commitdiff \| tree
2005-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-21	Claudio Sacerdoti...	S_pred moved from Z/times.ma to nat/orders.ma	commit \| commitdiff \| tree
2005-07-21	Claudio Sacerdoti...	MatitaSync.remove must remove the objects also from...	commit \| commitdiff \| tree
2005-07-21	Claudio Sacerdoti...	Comment "comments" removed from the outbox :-)	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	Better tooltips.	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	Tooltip removed.	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	View tactics bar ==> Show tactics bar	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	After a goto the focus is now grabbed back by the insertion...	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	According to the Gnome Interface Guidelines the Help...	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	New files AUTHORS and LICENSE.	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	Empty Box.Text changed to Box.smallskip.	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	Several interface improvements here and there.	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	New target cleantests.	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	Pretty printing of the disambiguation environment no...	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	Nicer handling of automatic text insertion.	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	A "\n" is now prepended to the aliases that are inserted...	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	Bug fixed: we used to use iterators on a text that...	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	Undo/Redo in the popup menu are now working correctly.	commit \| commitdiff \| tree
2005-07-20	Claudio Sacerdoti...	Redo fixed with a strategy similar (but not equal)...	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	Unuseful code removed.	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	Bug fix: undo now respects the locked area.	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	New menus Undo/Redo (bugged), Cut/Copy/Paste/Delete.	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	A tab converted to spaces as it should be.	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	Ctrl^D in matitatop fixed (was broken by the new parser...	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	Missing case (Cast) implemented.	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	New naming scheme (by Andrea).	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	New naming scheme by Andrea.	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	Bench fixed.	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	Used to left temporary file if something failed.	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	Many bugs in the Makefile fixed.	commit \| commitdiff \| tree
2005-07-19	Claudio Sacerdoti...	do_tests.sh now returns with an error if one of the...	commit \| commitdiff \| tree
2005-07-18	Claudio Sacerdoti...	- A few suggestions on how to solve a few bugs	commit \| commitdiff \| tree
2005-07-18	Claudio Sacerdoti...	Bug fixed: the "find" command now scrolls the window...	commit \| commitdiff \| tree
2005-07-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-18	Claudio Sacerdoti...	Bug fixed: clicking on a new position while advancing...	commit \| commitdiff \| tree
2005-07-18	Claudio Sacerdoti...	Smart scrolling during script advancement implemented.	commit \| commitdiff \| tree
2005-07-18	Claudio Sacerdoti...	Turbo-undo implemented! It jumps directly to the final...	commit \| commitdiff \| tree
2005-07-18	Claudio Sacerdoti...	OPTIMIZE table every 30 deletions: it should help :-)	commit \| commitdiff \| tree
2005-07-18	Claudio Sacerdoti...	ANALYZE TABLE ==> OPTIMIZE TABLE	commit \| commitdiff \| tree
2005-07-12	Claudio Sacerdoti...	Debugging comment removed.	commit \| commitdiff \| tree
2005-07-12	Claudio Sacerdoti...	Benchmark fixed. It was broken by the change in the...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	Bug fixed: the left parameters of a record or inductive...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	A few .cvsignore here and there.	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	The outtype of the MutCase of the generated elimination...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	Bug fixed in check_sort_elimination in the case (not...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	Bug fixed: the generated elimination principles used...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-09	Claudio Sacerdoti...	New test suite for generalize.	commit \| commitdiff \| tree
next

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

RSS Atom