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

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

2008-09-12	Claudio Sacerdoti...	1) as usual, I took the reverse notation for composition.	commit \| commitdiff \| tree \| snapshot
2008-09-11	Claudio Sacerdoti...	helm mailing list moved to cs.unibo.it	commit \| commitdiff \| tree \| snapshot
2008-09-10	Ferruccio Guidi	we skip discharging on matita opbjects (they don't...	commit \| commitdiff \| tree \| snapshot
2008-09-10	Ferruccio Guidi	cicDischarge, Procedural: we improved debugging and...	commit \| commitdiff \| tree \| snapshot
2008-09-10	Enrico Tassi	reverted auto experiment	commit \| commitdiff \| tree \| snapshot
2008-09-10	Enrico Tassi	AGAIN A TEST	commit \| commitdiff \| tree \| snapshot
2008-09-10	Enrico Tassi	COMMIT TO JUST RUN A BENCH, SHOULD BE REVERTED ASAP...	commit \| commitdiff \| tree \| snapshot
2008-09-09	Claudio Sacerdoti...	Reordering of lemmas in proper places.	commit \| commitdiff \| tree \| snapshot
2008-09-09	Claudio Sacerdoti...	Concrete spaces do form a category, after all :-)	commit \| commitdiff \| tree \| snapshot
2008-09-09	Enrico Tassi	some work to make tries "printable", fixed comparison...	commit \| commitdiff \| tree \| snapshot
2008-09-09	Claudio Sacerdoti...	Getting closer thanks to more technical arrangements.	commit \| commitdiff \| tree \| snapshot
2008-09-08	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-09-08	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-08	Claudio Sacerdoti...	Concrete spaces now defined.	commit \| commitdiff \| tree \| snapshot
2008-09-08	Claudio Sacerdoti...	Case c1 t1 vs c2 t2 where c1 and c2 are not splitted...	commit \| commitdiff \| tree \| snapshot
2008-09-07	Ferruccio Guidi	cicDischarge: we still have some problems here. Some...	commit \| commitdiff \| tree \| snapshot
2008-09-06	Ferruccio Guidi	we always save the discharged object for future reference	commit \| commitdiff \| tree \| snapshot
2008-09-05	Ferruccio Guidi	we have to remove the Num directory :)	commit \| commitdiff \| tree \| snapshot
2008-09-05	Ferruccio Guidi	transcript: we now check for non-existing objects	commit \| commitdiff \| tree \| snapshot
2008-09-05	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-05	Enrico Tassi	unification+pullback fix. It used to saturate a coercio...	commit \| commitdiff \| tree \| snapshot
2008-09-04	Ferruccio Guidi	transcript: improved debuugging facilities	commit \| commitdiff \| tree \| snapshot
2008-09-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-09-04	Ferruccio Guidi	we forgot to delete the old CoRN mma files :)	commit \| commitdiff \| tree \| snapshot
2008-09-04	Ferruccio Guidi	transcript: we improved the parser/lexer to read the...	commit \| commitdiff \| tree \| snapshot
2008-09-04	Enrico Tassi	fixed case of divergence	commit \| commitdiff \| tree \| snapshot
2008-09-04	Enrico Tassi	fixed notation	commit \| commitdiff \| tree \| snapshot
2008-09-04	Enrico Tassi	restored	commit \| commitdiff \| tree \| snapshot
2008-09-04	Enrico Tassi	....	commit \| commitdiff \| tree \| snapshot
2008-09-04	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-04	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-09-04	Enrico Tassi	removed debug pps	commit \| commitdiff \| tree \| snapshot
2008-09-04	Enrico Tassi	comparison function fixed	commit \| commitdiff \| tree \| snapshot
2008-09-04	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-04	Enrico Tassi	removed old non-working file	commit \| commitdiff \| tree \| snapshot
2008-09-04	Enrico Tassi	notation_id were compared using Pervasives.equal this...	commit \| commitdiff \| tree \| snapshot
2008-09-04	Enrico Tassi	stop running LAMBDA-TYPES as a test, can be reactivated...	commit \| commitdiff \| tree \| snapshot
2008-09-04	Claudio Sacerdoti...	hbox => hvbox in constructor arguments in match patterns.	commit \| commitdiff \| tree \| snapshot
2008-09-03	Claudio Sacerdoti...	Setoids are now more pervasive.	commit \| commitdiff \| tree \| snapshot
2008-09-02	Claudio Sacerdoti...	Uri ending in '' were not accepted. Fixed.	commit \| commitdiff \| tree \| snapshot
2008-09-01	Claudio Sacerdoti...	new debugging option	commit \| commitdiff \| tree \| snapshot
2008-08-31	Claudio Sacerdoti...	Relations are now closer to Sambin's ones. I.e. they...	commit \| commitdiff \| tree \| snapshot
2008-08-28	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-08-28	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-08-28	Ferruccio Guidi	new baseuri for procedural CoRN	commit \| commitdiff \| tree \| snapshot
2008-08-28	Ferruccio Guidi	applyTransformation: variable discharging in procedural...	commit \| commitdiff \| tree \| snapshot
2008-08-28	Ferruccio Guidi	cicDischarge: new module for discharging the explicit...	commit \| commitdiff \| tree \| snapshot
2008-08-27	Claudio Sacerdoti...	Convergence is now defined.	commit \| commitdiff \| tree \| snapshot
2008-08-27	Claudio Sacerdoti...	Better notation, in particular for subset comprehension.	commit \| commitdiff \| tree \| snapshot
2008-08-26	Claudio Sacerdoti...	Notation \|.\| moved to core_notation.	commit \| commitdiff \| tree \| snapshot
2008-08-26	Enrico Tassi	fixed some stuff	commit \| commitdiff \| tree \| snapshot
2008-08-25	Ferruccio Guidi	bug fix in inline syntax	commit \| commitdiff \| tree \| snapshot
2008-08-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-08-25	Claudio Sacerdoti...	New categories REL and BP.	commit \| commitdiff \| tree \| snapshot
2008-08-25	Claudio Sacerdoti...	New cool "type-checking" notation using colors and...	commit \| commitdiff \| tree \| snapshot
2008-08-25	Claudio Sacerdoti...	Do not mess with my window manager: the Cic Browsers...	commit \| commitdiff \| tree \| snapshot
2008-08-25	Claudio Sacerdoti...	Non-linear patterns are now allowed in notations.	commit \| commitdiff \| tree \| snapshot
2008-08-25	Ferruccio Guidi	transcript: bug fix in the generation of axioms	commit \| commitdiff \| tree \| snapshot
2008-08-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-08-23	Ferruccio Guidi	Procedural: bug fix in comment generation	commit \| commitdiff \| tree \| snapshot
2008-08-23	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-08-23	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-08-23	Claudio Sacerdoti...	Definition of categories.	commit \| commitdiff \| tree \| snapshot
2008-08-23	Claudio Sacerdoti...	Some notation moved to core_notation.	commit \| commitdiff \| tree \| snapshot
2008-08-23	Claudio Sacerdoti...	Also create the graphviz graph.	commit \| commitdiff \| tree \| snapshot
2008-08-23	Claudio Sacerdoti...	New debug item to print aliases.	commit \| commitdiff \| tree \| snapshot
2008-08-23	Ferruccio Guidi	Procedural: explicit flavour specification for constant...	commit \| commitdiff \| tree \| snapshot
2008-08-23	Enrico Tassi	notation with mstyle attributes, like colors and size	commit \| commitdiff \| tree \| snapshot
2008-08-23	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-08-21	Enrico Tassi	pango escape fixed	commit \| commitdiff \| tree \| snapshot
2008-08-21	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-08-21	Claudio Sacerdoti...	Avoid warning.	commit \| commitdiff \| tree \| snapshot
2008-08-21	Claudio Sacerdoti...	Added catching of an exception to implement a missing...	commit \| commitdiff \| tree \| snapshot
2008-08-21	Ferruccio Guidi	svn:ignore property is now swr correctly`	commit \| commitdiff \| tree \| snapshot
2008-08-21	Ferruccio Guidi	basic support for imposed flavour in procedural object...	commit \| commitdiff \| tree \| snapshot
2008-08-17	Enrico Tassi	escape < in pango attrs	commit \| commitdiff \| tree \| snapshot
2008-08-16	Enrico Tassi	added support for font scaling to autogui	commit \| commitdiff \| tree \| snapshot
2008-08-16	Enrico Tassi	added interpretation for \naturals, \rationals, and...	commit \| commitdiff \| tree \| snapshot
2008-08-12	Wilmer Ricciotti	Fixed two legacy comments	commit \| commitdiff \| tree \| snapshot
2008-08-01	Enrico Tassi	fixed recursiveness check	commit \| commitdiff \| tree \| snapshot
2008-08-01	Enrico Tassi	fixed recursiveness check	commit \| commitdiff \| tree \| snapshot
2008-07-30	Enrico Tassi	fixed check, if 0 constructors then no List.nth is...	commit \| commitdiff \| tree \| snapshot
2008-07-30	Enrico Tassi	allowed sort elim now check for recursive types	commit \| commitdiff \| tree \| snapshot
2008-07-30	Enrico Tassi	fixed allowed sort elim	commit \| commitdiff \| tree \| snapshot
2008-07-30	Claudio Sacerdoti...	Missing check implemented: uniformity of left parameter...	commit \| commitdiff \| tree \| snapshot
2008-07-30	Claudio Sacerdoti...	Missing check in positivity implemented: we did not...	commit \| commitdiff \| tree \| snapshot
2008-07-25	Enrico Tassi	- too strict check on left parameters of constructors...	commit \| commitdiff \| tree \| snapshot
2008-07-25	Claudio Sacerdoti...	AST to ASTFE completed up to a few computational (...	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	0.5.3	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	0.5.3	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	some more fixes	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	fixed some GUI glitches	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	positivity check fixed	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	positivity check fixed, some subterms were erroneously...	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	universes in CicBrowser	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	better ranking interface	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	better tex/utf8 win	commit \| commitdiff \| tree \| snapshot
2008-07-23	Enrico Tassi	better cb	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom