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

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

2010-09-28	Enrico Tassi	hints polished and fixed to allow recursive inference...	commit \| commitdiff \| tree \| snapshot
2010-09-28	Enrico Tassi	nicer hints, 16.1->3 done	commit \| commitdiff \| tree \| snapshot
2010-09-27	Enrico Tassi	many fixes to setoids for re, 16.1 almost done	commit \| commitdiff \| tree \| snapshot
2010-09-27	Enrico Tassi	fixed notation for \cup and \cap	commit \| commitdiff \| tree \| snapshot
2010-09-25	Enrico Tassi	some reorganization + some more re-setoids.ma proofs	commit \| commitdiff \| tree \| snapshot
2010-09-23	Enrico Tassi	morphism support moved to sets/ and logic/cprop	commit \| commitdiff \| tree \| snapshot
2010-09-23	Enrico Tassi	interpretation for <->	commit \| commitdiff \| tree \| snapshot
2010-09-23	Enrico Tassi	fix typo	commit \| commitdiff \| tree \| snapshot
2010-09-23	Enrico Tassi	patch by Brian committed, cut&paste should not crash...	commit \| commitdiff \| tree \| snapshot
2010-09-23	Enrico Tassi	Setoid-Rewriting under Ex works for an arbitrary depth...	commit \| commitdiff \| tree \| snapshot
2010-09-16	Enrico Tassi	fixed notation	commit \| commitdiff \| tree \| snapshot
2010-09-12	Enrico Tassi	some more work	commit \| commitdiff \| tree \| snapshot
2010-09-12	Enrico Tassi	Change (or better define) the order of hints premises.	commit \| commitdiff \| tree \| snapshot
2010-09-12	Enrico Tassi	non uniform coercions landed in hints_declaration.ma...	commit \| commitdiff \| tree \| snapshot
2010-09-09	Enrico Tassi	Some refactoring in set*.ma, some new notations and...	commit \| commitdiff \| tree \| snapshot
2010-09-09	Enrico Tassi	th 16.2 proved in the setoids setting	commit \| commitdiff \| tree \| snapshot
2010-09-08	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-09-08	Enrico Tassi	better not allowed sort elimination error messsage	commit \| commitdiff \| tree \| snapshot
2010-09-08	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-09-08	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-09-08	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-08-17	Ferruccio Guidi	some fixes to cope with the new mowgli server architecture	commit \| commitdiff \| tree \| snapshot
2010-08-17	Ferruccio Guidi	we can now generate static html pages about crg terms	commit \| commitdiff \| tree \| snapshot
2010-08-07	Ferruccio Guidi	some inprovements on the generated html pages	commit \| commitdiff \| tree \| snapshot
2010-08-06	Ferruccio Guidi	ld.dtd: updated to comply with crg	commit \| commitdiff \| tree \| snapshot
2010-08-06	Ferruccio Guidi	we removed old HAL exportation (replaced by XML exporta...	commit \| commitdiff \| tree \| snapshot
2010-08-06	Ferruccio Guidi	we renamed the module abbreviations according to src...	commit \| commitdiff \| tree \| snapshot
2010-08-06	Ferruccio Guidi	the refactoring continues ...	commit \| commitdiff \| tree \| snapshot
2010-08-06	Ferruccio Guidi	new module "xml" devoted to xml I/O	commit \| commitdiff \| tree \| snapshot
2010-08-06	Ferruccio Guidi	the refactoring continues ....	commit \| commitdiff \| tree \| snapshot
2010-08-06	Ferruccio Guidi	now we take the NUri module from the helm-ng_kernel...	commit \| commitdiff \| tree \| snapshot
2010-08-06	Ferruccio Guidi	the refactoring continues	commit \| commitdiff \| tree \| snapshot
2010-08-06	Ferruccio Guidi	refactoring: helena sources are now in a dedicated...	commit \| commitdiff \| tree \| snapshot
2010-08-06	Ferruccio Guidi	txtLexer: bug fix in parsing the string tokens	commit \| commitdiff \| tree \| snapshot
2010-08-03	Ferruccio Guidi	- we simplified the parser return values	commit \| commitdiff \| tree \| snapshot
2010-07-29	Claudio Sacerdoti...	Bug fixed: nodes were copied.	commit \| commitdiff \| tree \| snapshot
2010-07-29	Enrico Tassi	interpret non ambiguous symbols ASAP	commit \| commitdiff \| tree \| snapshot
2010-07-28	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-07-28	Enrico Tassi	allows auto before eq is defined	commit \| commitdiff \| tree \| snapshot
2010-07-28	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2010-07-28	Wilmer Ricciotti	Fixes unexpected behaviour of ncut when multiple goals...	commit \| commitdiff \| tree \| snapshot
2010-07-28	Wilmer Ricciotti	Experimental enhancements to the ndestruct tactic....	commit \| commitdiff \| tree \| snapshot
2010-07-23	Claudio Sacerdoti...	Some experiments on a co-inductive Heityng algebra.	commit \| commitdiff \| tree \| snapshot
2010-07-22	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-07-22	Enrico Tassi	some work on \exists	commit \| commitdiff \| tree \| snapshot
2010-07-22	Enrico Tassi	eq -> eq0 renaming	commit \| commitdiff \| tree \| snapshot
2010-07-22	Enrico Tassi	useless box removed	commit \| commitdiff \| tree \| snapshot
2010-07-22	Enrico Tassi	fixed precedence so that no () are needed around variab...	commit \| commitdiff \| tree \| snapshot
2010-07-22	Enrico Tassi	do not apply hints if metaclosed	commit \| commitdiff \| tree \| snapshot
2010-07-22	Enrico Tassi	avoid assert false, just fail generating the coercion	commit \| commitdiff \| tree \| snapshot
2010-07-21	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-07-21	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-07-21	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-07-21	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-07-20	Ferruccio Guidi	new icons for the lambda-delta web site	commit \| commitdiff \| tree \| snapshot
2010-07-20	Enrico Tassi	completed lemma 17	commit \| commitdiff \| tree \| snapshot
2010-07-19	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-07-15	Enrico Tassi	re 16.4 almost done	commit \| commitdiff \| tree \| snapshot
2010-07-10	Enrico Tassi	big mess of notation	commit \| commitdiff \| tree \| snapshot
2010-07-09	Enrico Tassi	more notation	commit \| commitdiff \| tree \| snapshot
2010-07-07	Enrico Tassi	moved formal_topology into library"	commit \| commitdiff \| tree \| snapshot
2010-07-06	Enrico Tassi	some notation for map_arrows2	commit \| commitdiff \| tree \| snapshot
2010-07-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2010-07-04	Claudio Sacerdoti...	Some important proofs/definitions were (and are still...	commit \| commitdiff \| tree \| snapshot
2010-07-01	Claudio Sacerdoti...	Proof simplified.	commit \| commitdiff \| tree \| snapshot
2010-07-01	Claudio Sacerdoti...	Proof simplified (??).	commit \| commitdiff \| tree \| snapshot
2010-07-01	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-06-30	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-06-30	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-06-30	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-06-30	Enrico Tassi	....	commit \| commitdiff \| tree \| snapshot
2010-06-29	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2010-06-29	Enrico Tassi	notation made half decent	commit \| commitdiff \| tree \| snapshot
2010-06-28	Enrico Tassi	better notation for oalgebra	commit \| commitdiff \| tree \| snapshot
2010-06-18	Enrico Tassi	....	commit \| commitdiff \| tree \| snapshot
2010-06-17	Enrico Tassi	off by one fixed	commit \| commitdiff \| tree \| snapshot
2010-06-10	Wilmer Ricciotti	Fix for inversion principles of types with a single...	commit \| commitdiff \| tree \| snapshot
2010-06-08	Wilmer Ricciotti	Fixed a bug in the undebruijnate function which caused...	commit \| commitdiff \| tree \| snapshot
2010-06-07	Enrico Tassi	some stuff on re	commit \| commitdiff \| tree \| snapshot
2010-06-07	Enrico Tassi	unify left args of inductive types with left argus...	commit \| commitdiff \| tree \| snapshot
2010-05-12	Wilmer Ricciotti	Library support files for John Major equality and Russell.	commit \| commitdiff \| tree \| snapshot
2010-05-12	Wilmer Ricciotti	Experimental support for Russell (coercions moving...	commit \| commitdiff \| tree \| snapshot
2010-05-11	Andrea Asperti	minimization.ma	commit \| commitdiff \| tree \| snapshot
2010-05-11	Enrico Tassi	little workaround for multiple screens, gdk support...	commit \| commitdiff \| tree \| snapshot
2010-05-10	Enrico Tassi	new intro:	commit \| commitdiff \| tree \| snapshot
2010-05-07	Enrico Tassi	trace generation with "// by _;"	commit \| commitdiff \| tree \| snapshot
2010-05-07	Enrico Tassi	notation	commit \| commitdiff \| tree \| snapshot
2010-05-07	Andrea Asperti	remarks and applyS	commit \| commitdiff \| tree \| snapshot
2010-05-06	Claudio Sacerdoti...	Bug fixed: nstatus => status (to undo the changes).	commit \| commitdiff \| tree \| snapshot
2010-05-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2010-05-06	Wilmer Ricciotti	Fixing naming scheme for composite coercions.	commit \| commitdiff \| tree \| snapshot
2010-05-06	Claudio Sacerdoti...	assert false could happen	commit \| commitdiff \| tree \| snapshot
2010-05-06	Claudio Sacerdoti...	Bug fixed:	commit \| commitdiff \| tree \| snapshot
2010-05-05	Claudio Sacerdoti...	coinduction is between us	commit \| commitdiff \| tree \| snapshot
2010-05-05	Claudio Sacerdoti...	First tests.	commit \| commitdiff \| tree \| snapshot
2010-05-04	Wilmer Ricciotti	* Fixed a couple of glitches in ndestruct	commit \| commitdiff \| tree \| snapshot
2010-05-04	Claudio Sacerdoti...	Regular expressions.	commit \| commitdiff \| tree \| snapshot
2010-04-21	Ferruccio Guidi	new dependences	commit \| commitdiff \| tree \| snapshot
2010-04-19	Andrea Asperti	Elimination of recursive inductive types leads to looping.	commit \| commitdiff \| tree \| snapshot
2010-04-19	Andrea Asperti	alpha_eq instead of pervasives.compare	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom