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

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

2008-09-26	Enrico Tassi	auto was compiraing lazy proof terms with = ... fixed	commit \| commitdiff \| tree \| snapshot
2008-09-26	Enrico Tassi	iremoved call to auto	commit \| commitdiff \| tree \| snapshot
2008-09-26	Enrico Tassi	commented out a line that was making the file fail	commit \| commitdiff \| tree \| snapshot
2008-09-26	Enrico Tassi	lazy proof term to increase sharing and decrease memory...	commit \| commitdiff \| tree \| snapshot
2008-09-26	Enrico Tassi	some work	commit \| commitdiff \| tree \| snapshot
2008-09-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-25	Enrico Tassi	beta expand	commit \| commitdiff \| tree \| snapshot
2008-09-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-09-25	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
2008-09-25	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	added skip function	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-24	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-22	Enrico Tassi	new iterator	commit \| commitdiff \| tree \| snapshot
2008-09-22	Ferruccio Guidi	new small devel	commit \| commitdiff \| tree \| snapshot
2008-09-22	Enrico Tassi	fixed auto invocation	commit \| commitdiff \| tree \| snapshot
2008-09-21	Ferruccio Guidi	we commented some of the debug pps rather than removing...	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	snapshot, cicMsubst compiles	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	more abstract discrimination tree	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	added list_seq	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	better abstraction to allow 1 discrimination tree imple...	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	new discrimination tree	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	Revised discrimination tree implementation:	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	more comments and compare function for URI exported	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	removed debug pps	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	new reorganization	commit \| commitdiff \| tree \| snapshot
2008-09-19	Enrico Tassi	fixed	commit \| commitdiff \| tree \| snapshot
2008-09-19	Andrea Asperti	A temporary patch to demodulation theorem.	commit \| commitdiff \| tree \| snapshot
2008-09-18	Enrico Tassi	removed debug pps	commit \| commitdiff \| tree \| snapshot
2008-09-18	Ferruccio Guidi	applyTransformation: improved error detection	commit \| commitdiff \| tree \| snapshot
2008-09-18	Ferruccio Guidi	librarian: improved error detection, bug fix in time...	commit \| commitdiff \| tree \| snapshot
2008-09-18	Claudio Sacerdoti...	ppterm_in_named_context removed in favour of the high...	commit \| commitdiff \| tree \| snapshot
2008-09-18	Claudio Sacerdoti...	Major reordering of theorems in the appropriate files.	commit \| commitdiff \| tree \| snapshot
2008-09-18	Claudio Sacerdoti...	In case of coercion to Prod, the error message shown...	commit \| commitdiff \| tree \| snapshot
2008-09-18	Enrico Tassi	fixed script	commit \| commitdiff \| tree \| snapshot
2008-09-18	Claudio Sacerdoti...	Precedence level of \downarrow changed to match that...	commit \| commitdiff \| tree \| snapshot
2008-09-17	Enrico Tassi	snapshot	commit \| commitdiff \| tree \| snapshot
2008-09-17	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-16	Claudio Sacerdoti...	formal_map now defined	commit \| commitdiff \| tree \| snapshot
2008-09-16	Claudio Sacerdoti...	Definition of formal_topologies.	commit \| commitdiff \| tree \| snapshot
2008-09-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-16	Enrico Tassi	...	commit \| commitdiff \| tree \| snapshot
2008-09-16	Enrico Tassi	new directory for the newGeneration refiner	commit \| commitdiff \| tree \| snapshot
2008-09-15	Claudio Sacerdoti...	BTop is a category.	commit \| commitdiff \| tree \| snapshot
2008-09-12	Ferruccio Guidi	old bug in mtime computation fixed	commit \| commitdiff \| tree \| snapshot
2008-09-12	Claudio Sacerdoti...	...	commit \| commitdiff \| tree \| snapshot
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
next

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

RSS Atom