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

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

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
2005-07-09	Claudio Sacerdoti...	Some terms were processed in the wrong context.	commit \| commitdiff \| tree
2005-07-09	Claudio Sacerdoti...	Generalize ported to the new select up to unification.	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	Replace is now working again and it is able to match...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	Elim generalized to saturate its argument.	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	Elim generalized: the term to eliminate is now saturated...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	Cosmetic changes: a piece of code replaced with a pre...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	dead code removed	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	Bug fixed: metavariables generated by the saturation...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	The fix and cofix cases of the select were not finished...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	1. PrimitiveTactics.new_metasenv_for_apply changed...	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	An impossible case changed to an assert false.	commit \| commitdiff \| tree
2005-07-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	1. Warnings are now printed in orange (yellow was unvisible...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	No more need for symbolic links: .matita, the configuration...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	Bug fixed: uris can contain '-' (e.g. cic:/Sophia-Antipolis...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	Names bound in lambdas can now be used in the "canonical...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	matitaclean now removes the .moo file, if existent.	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	Bug fixed: no .moo can be generated if the status is...	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	Debugging message removed.	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	notify was not called when Margin was raised. Fixed.	commit \| commitdiff \| tree
2005-07-07	Claudio Sacerdoti...	matita.ma.templ must be symbolically linked	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	Bug fixed: "intros n" should fail when there are less...	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	Fixed a bug in the "do" tactical that made it diverge.	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	mk_fresh_name now returns [name] instead of its basename...	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	1. tactical "try_tacticals" renamed to "first"	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	clean did not remove matitatop*	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	* Bug fixed: "tac." was parsed as Seq [tac]	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	Shell variables are all global! Fixed a bug that prevented...	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	-rectypes missing for native code compilation	commit \| commitdiff \| tree
2005-07-06	Claudio Sacerdoti...	Some precisations on a few comments by Ferruccio.	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Debugging back to false	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Wrong merge repaired.	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	matitatop now cleans all before exiting in every situation.	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Another "hard" test that used to fail.	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Bug fixed: the outtype of a match when omitted was...	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	This commit fixes matitatop that was no longer working...	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	* new interface matitaTypes.mli	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	let's find the .ma files also in subdirectories	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	tests/* ==> *	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Gtk loop was called only when a proof was terminated...	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Ported to separate compilation and the new getter implementa...	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Baseuri changed to move replace into matita.	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	re-added $(H) to matitaclean	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	Fixed a bug that prevented the removal of the XML files...	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	baseuri changed to move the test into the matita namespace	commit \| commitdiff \| tree
2005-07-05	Claudio Sacerdoti...	* safe_remove exported and moved to MatitaMisc	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	notification of changes is now done only at the very...	commit \| commitdiff \| tree
2005-07-04	Claudio Sacerdoti...	icons added to the list of required symbolic links	commit \| commitdiff \| tree
next

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

RSS Atom