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

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

2005-07-21	Alberto Griggio	dependencies	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	removed .depend from .cvsignore	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	added some typechecks to avoid using equations with...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	added CicNotation.load_notation call to disambiguate...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	if paramodulation fails, go on with the normal auto...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	Bug fixed: LICENSE and AUTHORS were searched in the...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	Regression fixed: goto used to stop (again!) to the...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	S_pred moved from Z/times.ma to nat/orders.ma	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	MatitaSync.remove must remove the objects also from...	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	removed old broken code	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	integration with paramodulation	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	integration with paramodulation	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	modifications/fixes for the integration with auto	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	entry point of the stand-alone saturate	commit \| commitdiff \| tree \| snapshot
2005-07-21	Alberto Griggio	added paramodulation package	commit \| commitdiff \| tree \| snapshot
2005-07-21	Claudio Sacerdoti...	Comment "comments" removed from the outbox :-)	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	Better tooltips.	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	Tooltip removed.	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	View tactics bar ==> Show tactics bar	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	After a goto the focus is now grabbed back by the inser...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	Debugging code commented out.	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	According to the Gnome Interface Guidelines the Help...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	New files AUTHORS and LICENSE.	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	Empty Box.Text changed to Box.smallskip.	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	Several interface improvements here and there.	commit \| commitdiff \| tree \| snapshot
2005-07-20	Enrico Tassi	better handling of backgroud compiler process	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	New target cleantests.	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	Pretty printing of the disambiguation environment no...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	Nicer handling of automatic text insertion.	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	A "\n" is now prepended to the aliases that are inserte...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	Bug fixed: we used to use iterators on a text that...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Stefano Zacchiroli	fixed typo in 'leq interpretation uri which enable...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	Undo/Redo in the popup menu are now working correctly.	commit \| commitdiff \| tree \| snapshot
2005-07-20	Claudio Sacerdoti...	Redo fixed with a strategy similar (but not equal)...	commit \| commitdiff \| tree \| snapshot
2005-07-20	Andrea Asperti	Assert false removed (although conceptually correct).	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	Unuseful code removed.	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-19	Stefano Zacchiroli	fixed file descriptor leak	commit \| commitdiff \| tree \| snapshot
2005-07-19	Stefano Zacchiroli	use safe_remove to remove files instead of Unix.unlink	commit \| commitdiff \| tree \| snapshot
2005-07-19	Stefano Zacchiroli	sorted cicBrowser's listings	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	Bug fix: undo now respects the locked area.	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	New menus Undo/Redo (bugged), Cut/Copy/Paste/Delete.	commit \| commitdiff \| tree \| snapshot
2005-07-19	Enrico Tassi	blocked undo of authomatic text (template)	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	A tab converted to spaces as it should be.	commit \| commitdiff \| tree \| snapshot
2005-07-19	Enrico Tassi	message if the duplicate check may take too long	commit \| commitdiff \| tree \| snapshot
2005-07-19	Enrico Tassi	matitac now automatically cleans a non empty baseuri	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	Ctrl^D in matitatop fixed (was broken by the new parser...	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	Missing case (Cast) implemented.	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	New naming scheme (by Andrea).	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	New naming scheme by Andrea.	commit \| commitdiff \| tree \| snapshot
2005-07-19	Ferruccio Guidi	patched	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	Bench fixed.	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	Used to left temporary file if something failed.	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	Many bugs in the Makefile fixed.	commit \| commitdiff \| tree \| snapshot
2005-07-19	Andrea Asperti	freshNamesGenerator moved into cic_proof_checking.	commit \| commitdiff \| tree \| snapshot
2005-07-19	Andrea Asperti	Moved freshNameGenerator inside cic_proof_checking...	commit \| commitdiff \| tree \| snapshot
2005-07-19	Andrea Asperti	New naming policy for local variables.	commit \| commitdiff \| tree \| snapshot
2005-07-19	Claudio Sacerdoti...	do_tests.sh now returns with an error if one of the...	commit \| commitdiff \| tree \| snapshot
2005-07-19	Ferruccio Guidi	the decompose tactic is now working	commit \| commitdiff \| tree \| snapshot
2005-07-19	Enrico Tassi	avoids generating a wrong/empty/dummy depend	commit \| commitdiff \| tree \| snapshot
2005-07-19	Enrico Tassi	Bug fixed: matitaclean and matitadep now ignores every...	commit \| commitdiff \| tree \| snapshot
2005-07-19	Stefano Zacchiroli	handled difference associativity for the same level...	commit \| commitdiff \| tree \| snapshot
2005-07-18	Claudio Sacerdoti...	- A few suggestions on how to solve a few bugs	commit \| commitdiff \| tree \| snapshot
2005-07-18	Claudio Sacerdoti...	Bug fixed: the "find" command now scrolls the window...	commit \| commitdiff \| tree \| snapshot
2005-07-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-18	Claudio Sacerdoti...	Bug fixed: clicking on a new position while advancing...	commit \| commitdiff \| tree \| snapshot
2005-07-18	Claudio Sacerdoti...	Smart scrolling during script advancement implemented.	commit \| commitdiff \| tree \| snapshot
2005-07-18	Stefano Zacchiroli	added generation og disambiguator META (future name...	commit \| commitdiff \| tree \| snapshot
2005-07-18	Stefano Zacchiroli	- synced notation pretty printing with parsing syntax	commit \| commitdiff \| tree \| snapshot
2005-07-18	Stefano Zacchiroli	added too .moo files notation related statements	commit \| commitdiff \| tree \| snapshot
2005-07-18	Claudio Sacerdoti...	Turbo-undo implemented! It jumps directly to the final...	commit \| commitdiff \| tree \| snapshot
2005-07-18	Claudio Sacerdoti...	OPTIMIZE table every 30 deletions: it should help :-)	commit \| commitdiff \| tree \| snapshot
2005-07-18	Claudio Sacerdoti...	ANALYZE TABLE ==> OPTIMIZE TABLE	commit \| commitdiff \| tree \| snapshot
2005-07-18	Stefano Zacchiroli	- removed old parser	commit \| commitdiff \| tree \| snapshot
2005-07-18	Enrico Tassi	compilation of needed modules now outputs to the log...	commit \| commitdiff \| tree \| snapshot
2005-07-18	Stefano Zacchiroli	merged cic_notation with matita: good luck!	commit \| commitdiff \| tree \| snapshot
2005-07-18	Stefano Zacchiroli	merged cic_notation with disambiguation: good luck!	commit \| commitdiff \| tree \| snapshot
2005-07-18	Alberto Griggio	adding library support (not ready yet)	commit \| commitdiff \| tree \| snapshot
2005-07-15	Enrico Tassi	fixed a specific case in development handling	commit \| commitdiff \| tree \| snapshot
2005-07-15	Ferruccio Guidi	some reorganization and some corrections	commit \| commitdiff \| tree \| snapshot
2005-07-15	Ferruccio Guidi	some reorganization and some corrections	commit \| commitdiff \| tree \| snapshot
2005-07-15	Ferruccio Guidi	some reorganization and some corrections	commit \| commitdiff \| tree \| snapshot
2005-07-15	Enrico Tassi	matitamake is integrated with matita	commit \| commitdiff \| tree \| snapshot
2005-07-15	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-07-15	Andrea Asperti	Added a new contrib div_and_mod and few modifs here...	commit \| commitdiff \| tree \| snapshot
2005-07-15	Andrea Asperti	Bad name should be an error and not just a warning.	commit \| commitdiff \| tree \| snapshot
2005-07-15	Andrea Asperti	New version of name checking.	commit \| commitdiff \| tree \| snapshot
2005-07-14	Stefano Zacchiroli	snapshot, notably:	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom