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

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

2008-12-21	Claudio Sacerdoti...	Using the new category SET.	commit \| commitdiff \| tree
2008-12-21	Claudio Sacerdoti...	New category SET (whose objects are setoids).	commit \| commitdiff \| tree
2008-12-18	Claudio Sacerdoti...	Stupid bug fixed: checkin the type in place of the...	commit \| commitdiff \| tree
2008-12-18	Claudio Sacerdoti...	New disambiguation commented out.	commit \| commitdiff \| tree
2008-12-18	Claudio Sacerdoti...	Many axioms are now proved... using many more (but...	commit \| commitdiff \| tree
2008-12-18	Claudio Sacerdoti...	Now it compiles again.	commit \| commitdiff \| tree
2008-12-18	Claudio Sacerdoti...	Refinement of axioms fixed. We did not check that the...	commit \| commitdiff \| tree
2008-12-14	Claudio Sacerdoti...	The library is no longer automatically used during...	commit \| commitdiff \| tree
2008-12-12	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-12-12	Claudio Sacerdoti...	A parser (and a scanner) to import "~C" files into...	commit \| commitdiff \| tree
2008-12-12	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-12-12	Claudio Sacerdoti...	1. new expressions AND, OR, XOR	commit \| commitdiff \| tree
2008-12-11	Claudio Sacerdoti...	Applications are now processed from left to right.	commit \| commitdiff \| tree
2008-12-08	Claudio Sacerdoti...	A (boring and long) once-in-a-life exercise on proving...	commit \| commitdiff \| tree
2008-12-07	Claudio Sacerdoti...	New exception considered.	commit \| commitdiff \| tree
2008-12-07	Claudio Sacerdoti...	Bug fixed: every time we form a Prod, we must typecheck...	commit \| commitdiff \| tree
2008-12-05	Claudio Sacerdoti...	new exception captured	commit \| commitdiff \| tree
2008-12-05	Claudio Sacerdoti...	Added new syntax Type[n] where n is a number.	commit \| commitdiff \| tree
2008-12-05	Claudio Sacerdoti...	Debugging code removed.	commit \| commitdiff \| tree
2008-12-05	Claudio Sacerdoti...	Debugging code removed	commit \| commitdiff \| tree
2008-12-05	Claudio Sacerdoti...	Debugging instructions removed.	commit \| commitdiff \| tree
2008-12-05	Claudio Sacerdoti...	Useless code removed.	commit \| commitdiff \| tree
2008-12-05	Claudio Sacerdoti...	Useless code removed.	commit \| commitdiff \| tree
2008-12-05	Claudio Sacerdoti...	Useless code removed.	commit \| commitdiff \| tree
2008-12-05	Claudio Sacerdoti...	Case-sensitive fixes.	commit \| commitdiff \| tree
2008-12-03	Claudio Sacerdoti...	The aliases and multi_aliases in the lexicon status...	commit \| commitdiff \| tree
2008-12-01	Claudio Sacerdoti...	rt.op and check.opt removed from Makefile	commit \| commitdiff \| tree
2008-11-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-11-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-11-27	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-11-15	Claudio Sacerdoti...	New bug.	commit \| commitdiff \| tree
2008-11-15	Claudio Sacerdoti...	Another bug.	commit \| commitdiff \| tree
2008-11-15	Claudio Sacerdoti...	This commit shows a bug.	commit \| commitdiff \| tree
2008-11-11	Claudio Sacerdoti...	1. data structure for lables is now more strict	commit \| commitdiff \| tree
2008-11-09	Claudio Sacerdoti...	auto-param "size" missing	commit \| commitdiff \| tree
2008-11-06	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-11-06	Claudio Sacerdoti...	First attempts at the third phase.	commit \| commitdiff \| tree
2008-11-04	Claudio Sacerdoti...	- A new interesting elimination principle over inductively...	commit \| commitdiff \| tree
2008-10-31	Claudio Sacerdoti...	Environment simplified.	commit \| commitdiff \| tree
2008-10-31	Claudio Sacerdoti...	No longer used.	commit \| commitdiff \| tree
2008-10-31	Claudio Sacerdoti...	- New dependency for environments on the nesting depth.	commit \| commitdiff \| tree
2008-10-16	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-10-15	Claudio Sacerdoti...	minor simplification + deps fixed	commit \| commitdiff \| tree
2008-10-15	Claudio Sacerdoti...	New invariant and data structure to represent environments...	commit \| commitdiff \| tree
2008-10-13	Claudio Sacerdoti...	Bug fixed in LetIn: the cumulativity test was performed...	commit \| commitdiff \| tree
2008-10-01	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-10-01	Claudio Sacerdoti...	- setters for data structures now support "commuting...	commit \| commitdiff \| tree
2008-09-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-09-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-09-18	Claudio Sacerdoti...	ppterm_in_named_context removed in favour of the high...	commit \| commitdiff \| tree
2008-09-18	Claudio Sacerdoti...	Major reordering of theorems in the appropriate files.	commit \| commitdiff \| tree
2008-09-18	Claudio Sacerdoti...	In case of coercion to Prod, the error message shown...	commit \| commitdiff \| tree
2008-09-18	Claudio Sacerdoti...	Precedence level of \downarrow changed to match that...	commit \| commitdiff \| tree
2008-09-16	Claudio Sacerdoti...	formal_map now defined	commit \| commitdiff \| tree
2008-09-16	Claudio Sacerdoti...	Definition of formal_topologies.	commit \| commitdiff \| tree
2008-09-15	Claudio Sacerdoti...	BTop is a category.	commit \| commitdiff \| tree
2008-09-12	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-09-12	Claudio Sacerdoti...	1) as usual, I took the reverse notation for composition.	commit \| commitdiff \| tree
2008-09-11	Claudio Sacerdoti...	helm mailing list moved to cs.unibo.it	commit \| commitdiff \| tree
2008-09-09	Claudio Sacerdoti...	Reordering of lemmas in proper places.	commit \| commitdiff \| tree
2008-09-09	Claudio Sacerdoti...	Concrete spaces do form a category, after all :-)	commit \| commitdiff \| tree
2008-09-09	Claudio Sacerdoti...	Getting closer thanks to more technical arrangements.	commit \| commitdiff \| tree
2008-09-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-09-08	Claudio Sacerdoti...	Concrete spaces now defined.	commit \| commitdiff \| tree
2008-09-08	Claudio Sacerdoti...	Case c1 t1 vs c2 t2 where c1 and c2 are not splitted...	commit \| commitdiff \| tree
2008-09-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-09-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-09-04	Claudio Sacerdoti...	hbox => hvbox in constructor arguments in match patterns.	commit \| commitdiff \| tree
2008-09-03	Claudio Sacerdoti...	Setoids are now more pervasive.	commit \| commitdiff \| tree
2008-09-02	Claudio Sacerdoti...	Uri ending in '' were not accepted. Fixed.	commit \| commitdiff \| tree
2008-09-01	Claudio Sacerdoti...	new debugging option	commit \| commitdiff \| tree
2008-08-31	Claudio Sacerdoti...	Relations are now closer to Sambin's ones. I.e. they...	commit \| commitdiff \| tree
2008-08-27	Claudio Sacerdoti...	Convergence is now defined.	commit \| commitdiff \| tree
2008-08-27	Claudio Sacerdoti...	Better notation, in particular for subset comprehension.	commit \| commitdiff \| tree
2008-08-26	Claudio Sacerdoti...	Notation \|.\| moved to core_notation.	commit \| commitdiff \| tree
2008-08-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-08-25	Claudio Sacerdoti...	New categories REL and BP.	commit \| commitdiff \| tree
2008-08-25	Claudio Sacerdoti...	New cool "type-checking" notation using colors and...	commit \| commitdiff \| tree
2008-08-25	Claudio Sacerdoti...	Do not mess with my window manager: the Cic Browsers...	commit \| commitdiff \| tree
2008-08-25	Claudio Sacerdoti...	Non-linear patterns are now allowed in notations.	commit \| commitdiff \| tree
2008-08-23	Claudio Sacerdoti...	Definition of categories.	commit \| commitdiff \| tree
2008-08-23	Claudio Sacerdoti...	Some notation moved to core_notation.	commit \| commitdiff \| tree
2008-08-23	Claudio Sacerdoti...	Also create the graphviz graph.	commit \| commitdiff \| tree
2008-08-23	Claudio Sacerdoti...	New debug item to print aliases.	commit \| commitdiff \| tree
2008-08-21	Claudio Sacerdoti...	Avoid warning.	commit \| commitdiff \| tree
2008-08-21	Claudio Sacerdoti...	Added catching of an exception to implement a missing...	commit \| commitdiff \| tree
2008-07-30	Claudio Sacerdoti...	Missing check implemented: uniformity of left parameters...	commit \| commitdiff \| tree
2008-07-30	Claudio Sacerdoti...	Missing check in positivity implemented: we did not...	commit \| commitdiff \| tree
2008-07-25	Claudio Sacerdoti...	AST to ASTFE completed up to a few computational (...	commit \| commitdiff \| tree
2008-07-23	Claudio Sacerdoti...	Update.	commit \| commitdiff \| tree
2008-07-23	Claudio Sacerdoti...	Universe levels fixed.	commit \| commitdiff \| tree
2008-07-22	Claudio Sacerdoti...	In some universe, membership is a morphism.	commit \| commitdiff \| tree
2008-07-22	Claudio Sacerdoti...	Sambin's & Valentini's toolbox (???)	commit \| commitdiff \| tree
2008-07-22	Claudio Sacerdoti...	Dependencies removed.	commit \| commitdiff \| tree
2008-07-21	Claudio Sacerdoti...	frac is an infix operator!	commit \| commitdiff \| tree
2008-07-21	Claudio Sacerdoti...	Error message improved.	commit \| commitdiff \| tree
2008-07-21	Claudio Sacerdoti...	Rendering of \infrule improved.	commit \| commitdiff \| tree
2008-07-21	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
2008-07-21	Claudio Sacerdoti...	Semantic analysis implemented (sort of).	commit \| commitdiff \| tree
2008-07-18	Claudio Sacerdoti...	...	commit \| commitdiff \| tree
next

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

RSS Atom