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

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

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
2005-07-14	Luca Padovani	* added group box (?)	commit \| commitdiff \| tree \| snapshot
2005-07-14	Stefano Zacchiroli	bugfix: removed spurious section "helm_registry" from...	commit \| commitdiff \| tree \| snapshot
2005-07-13	Stefano Zacchiroli	added XmlAttrs attribute for specification of xml attri...	commit \| commitdiff \| tree \| snapshot
2005-07-13	Enrico Tassi	all interface is locked during advance/retract	commit \| commitdiff \| tree \| snapshot
2005-07-13	Enrico Tassi	fixed lock mark	commit \| commitdiff \| tree \| snapshot
2005-07-13	Enrico Tassi	some more replace facility: alt-r	commit \| commitdiff \| tree \| snapshot
2005-07-13	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-07-13	Enrico Tassi	added find&replace facility	commit \| commitdiff \| tree \| snapshot
2005-07-13	Enrico Tassi	use dvariant for associtivity	commit \| commitdiff \| tree \| snapshot
2005-07-13	Enrico Tassi	removed drop.	commit \| commitdiff \| tree \| snapshot
2005-07-13	Andrea Asperti	New version of the library.	commit \| commitdiff \| tree \| snapshot
2005-07-13	Stefano Zacchiroli	bugfix: "LPAREN" vs LPAREN	commit \| commitdiff \| tree \| snapshot
2005-07-13	Stefano Zacchiroli	snapshot	commit \| commitdiff \| tree \| snapshot
2005-07-13	Enrico Tassi	copied text is unlocked :)	commit \| commitdiff \| tree \| snapshot
2005-07-13	Enrico Tassi	matitamake stuff:	commit \| commitdiff \| tree \| snapshot
2005-07-12	Luca Padovani	snapshot	commit \| commitdiff \| tree \| snapshot
2005-07-12	Andrea Asperti	Added a function equations_for_goal similar to signatur...	commit \| commitdiff \| tree \| snapshot
2005-07-12	Claudio Sacerdoti...	Debugging comment removed.	commit \| commitdiff \| tree \| snapshot
2005-07-12	Claudio Sacerdoti...	Benchmark fixed. It was broken by the change in the...	commit \| commitdiff \| tree \| snapshot
2005-07-12	Enrico Tassi	added matitamake	commit \| commitdiff \| tree \| snapshot
2005-07-12	Enrico Tassi	added matita.conf.xml.sample	commit \| commitdiff \| tree \| snapshot
2005-07-12	Enrico Tassi	added .moo	commit \| commitdiff \| tree \| snapshot
2005-07-11	Alberto Griggio	now proofs have the correct type :-)	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-07-11	Luca Padovani	* implemented unless	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	default USER_HOME to pwd	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	fix	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	matita.conf.xml.sample is now generated	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	added a flag to do the check of alredy-proved-theorem	commit \| commitdiff \| tree \| snapshot
2005-07-11	Enrico Tassi	tentative hack for the incredible DB slowdown.	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	Bug fixed: the left parameters of a record or inductive...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Luca Padovani	* added backtracking in matching code (hairy code!)	commit \| commitdiff \| tree \| snapshot
2005-07-11	Luca Padovani	* various bug fix related to the environment returned...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	A few .cvsignore here and there.	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	The outtype of the MutCase of the generated elimination...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	Bug fixed in check_sort_elimination in the case (not...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	Bug fixed: the generated elimination principles used...	commit \| commitdiff \| tree \| snapshot
2005-07-11	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom