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

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

2009-03-11	Enrico Tassi	unification hints with recursive calls do work!	commit \| commitdiff \| tree
2009-03-11	Enrico Tassi	added margin option to the pp	commit \| commitdiff \| tree
2009-03-11	Enrico Tassi	more examples	commit \| commitdiff \| tree
2009-03-10	Enrico Tassi	unificatiom hints with premises	commit \| commitdiff \| tree
2009-03-10	Enrico Tassi	unification hints almost ready	commit \| commitdiff \| tree
2009-03-10	Enrico Tassi	notation ++	commit \| commitdiff \| tree
2009-03-09	Enrico Tassi	...	commit \| commitdiff \| tree
2009-03-03	Enrico Tassi	- fixed hint generation, more hints are generated	commit \| commitdiff \| tree
2009-02-25	Enrico Tassi	...	commit \| commitdiff \| tree
2009-02-24	Enrico Tassi	...	commit \| commitdiff \| tree
2009-02-24	Enrico Tassi	...	commit \| commitdiff \| tree
2009-02-20	Enrico Tassi	...	commit \| commitdiff \| tree
2009-02-20	Enrico Tassi	...	commit \| commitdiff \| tree
2009-02-16	Enrico Tassi	some notational experiments	commit \| commitdiff \| tree
2009-02-15	Enrico Tassi	...	commit \| commitdiff \| tree
2009-02-15	Enrico Tassi	...	commit \| commitdiff \| tree
2009-02-15	Enrico Tassi	...	commit \| commitdiff \| tree
2009-02-15	Enrico Tassi	commented some printings	commit \| commitdiff \| tree
2009-02-15	Enrico Tassi	minor changes to make the library compile after wilmers...	commit \| commitdiff \| tree
2009-02-11	Enrico Tassi	some work to refine objs	commit \| commitdiff \| tree
2009-02-11	Enrico Tassi	...	commit \| commitdiff \| tree
2009-02-09	Enrico Tassi	b:action are now considered as m:maction and thus are...	commit \| commitdiff \| tree
2009-02-06	Enrico Tassi	...	commit \| commitdiff \| tree
2009-02-05	Enrico Tassi	...	commit \| commitdiff \| tree
2009-02-05	Enrico Tassi	a non necessary but morally required change. The matched...	commit \| commitdiff \| tree
2009-02-03	Enrico Tassi	some work to speed up the system	commit \| commitdiff \| tree
2009-02-03	Enrico Tassi	case tactic first tries with a simple outtype and then...	commit \| commitdiff \| tree
2009-02-02	Enrico Tassi	...	commit \| commitdiff \| tree
2009-02-02	Enrico Tassi	CicTypeChecker.typecheck now takes an additional parameter:	commit \| commitdiff \| tree
2009-01-30	Enrico Tassi	fix convertibility in case of application test_eq_only...	commit \| commitdiff \| tree
2009-01-29	Enrico Tassi	more polishing	commit \| commitdiff \| tree
2009-01-29	Enrico Tassi	...	commit \| commitdiff \| tree
2009-01-29	Enrico Tassi	application arguments are compared with test_eq_only...	commit \| commitdiff \| tree
2009-01-28	Enrico Tassi	some work	commit \| commitdiff \| tree
2009-01-28	Enrico Tassi	...	commit \| commitdiff \| tree
2009-01-28	Enrico Tassi	...	commit \| commitdiff \| tree
2009-01-28	Enrico Tassi	...	commit \| commitdiff \| tree
2009-01-28	Enrico Tassi	...	commit \| commitdiff \| tree
2009-01-27	Enrico Tassi	maction, mpadded and mstyle added to documentation	commit \| commitdiff \| tree
2009-01-26	Enrico Tassi	minor fixes	commit \| commitdiff \| tree
2009-01-26	Enrico Tassi	maction support added to notation, adopted for = AKA...	commit \| commitdiff \| tree
2009-01-26	Enrico Tassi	maction layout added to notation	commit \| commitdiff \| tree
2009-01-26	Enrico Tassi	we were generating a name for the main fix twice	commit \| commitdiff \| tree
2009-01-26	Enrico Tassi	added a number to identical error messages to ease...	commit \| commitdiff \| tree
2009-01-21	Enrico Tassi	some minor fixes	commit \| commitdiff \| tree
2009-01-21	Enrico Tassi	a bit of work done while travelling to padova	commit \| commitdiff \| tree
2009-01-19	Enrico Tassi	- new notation.ma file with local and common notation	commit \| commitdiff \| tree
2009-01-19	Enrico Tassi	all pullbacks are attempted in sequence, removed many...	commit \| commitdiff \| tree
2009-01-16	Enrico Tassi	ceommented out metasenv	commit \| commitdiff \| tree
2009-01-16	Enrico Tassi	...	commit \| commitdiff \| tree
2009-01-15	Enrico Tassi	the new coercion behaviour (variants + composition...	commit \| commitdiff \| tree
2009-01-15	Enrico Tassi	added notation for 'Vdash	commit \| commitdiff \| tree
2009-01-15	Enrico Tassi	if the user attempts to insert a duplicate coercions...	commit \| commitdiff \| tree
2009-01-15	Enrico Tassi	unvariant also for coercions to funclass	commit \| commitdiff \| tree
2009-01-15	Enrico Tassi	- name mangling changed, added __ to separate additional...	commit \| commitdiff \| tree
2009-01-15	Enrico Tassi	no more universe inconsistency printed to stderr	commit \| commitdiff \| tree
2009-01-15	Enrico Tassi	coercions that are marked as variant are unfolded when...	commit \| commitdiff \| tree
2009-01-15	Enrico Tassi	Coercions graph is printed between real types and not...	commit \| commitdiff \| tree
2009-01-13	Enrico Tassi	many changes regarding coercions:	commit \| commitdiff \| tree
2009-01-08	Enrico Tassi	more composites to make all happy!	commit \| commitdiff \| tree
2009-01-08	Enrico Tassi	eq over SET1 and SET no longer used	commit \| commitdiff \| tree
2009-01-08	Enrico Tassi	some more if/fi conversion due to the new . binding	commit \| commitdiff \| tree
2009-01-08	Enrico Tassi	unary_morphism_N : seoidN -> setoidN -> setoidN (was...	commit \| commitdiff \| tree
2009-01-08	Enrico Tassi	virtuals for () removed and bound to 'o'	commit \| commitdiff \| tree
2009-01-06	Enrico Tassi	coercions reordering implemented	commit \| commitdiff \| tree
2009-01-06	Enrico Tassi	updated	commit \| commitdiff \| tree
2009-01-05	Enrico Tassi	removing (only from the interface) functions related...	commit \| commitdiff \| tree
2009-01-05	Enrico Tassi	added help on virtuals and UTF-8 equivalence classes	commit \| commitdiff \| tree
2009-01-05	Enrico Tassi	expand ligatures after \n too	commit \| commitdiff \| tree
2009-01-05	Enrico Tassi	added := -> \def	commit \| commitdiff \| tree
2009-01-05	Enrico Tassi	added some memory to virtuals eq classes	commit \| commitdiff \| tree
2008-12-28	Enrico Tassi	removed duplicate notation	commit \| commitdiff \| tree
2008-12-24	Enrico Tassi	added some virtuals	commit \| commitdiff \| tree
2008-12-24	Enrico Tassi	bug fixed, all convertible was called without a metasenv	commit \| commitdiff \| tree
2008-12-22	Enrico Tassi	...	commit \| commitdiff \| tree
2008-12-22	Enrico Tassi	Beginning of o-basic_topologies.	commit \| commitdiff \| tree
2008-12-22	Enrico Tassi	Some clean up.	commit \| commitdiff \| tree
2008-12-22	Enrico Tassi	Concrete Spaces defined but... they require about 20m...	commit \| commitdiff \| tree
2008-12-22	Enrico Tassi	1 more lemma	commit \| commitdiff \| tree
2008-12-22	Enrico Tassi	one line	commit \| commitdiff \| tree
2008-12-22	Enrico Tassi	some work	commit \| commitdiff \| tree
2008-12-21	Enrico Tassi	merged commits, the same proof is missing :-(	commit \| commitdiff \| tree
2008-12-21	Enrico Tassi	bleah	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	better pp of virtuals	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	...	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	more pps	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	type3	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	ranking hopefully fixed	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	...	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	fix exponentiation	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	go notation go!	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	fixed, it seems the new handling of hints in some rare...	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	...	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	...	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	...	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	added aliases for _ and fixed greek leters thanks to...	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	better pps	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	handles bad Appl	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	added better debug_pps and add_user_provided_unification_hint	commit \| commitdiff \| tree
2008-12-19	Enrico Tassi	...	commit \| commitdiff \| tree
next

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

RSS Atom