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

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

2008-09-19	Enrico Tassi	more comments and compare function for URI exported	commit \| commitdiff \| tree
2008-09-19	Enrico Tassi	removed debug pps	commit \| commitdiff \| tree
2008-09-19	Enrico Tassi	new reorganization	commit \| commitdiff \| tree
2008-09-19	Enrico Tassi	fixed	commit \| commitdiff \| tree
2008-09-18	Enrico Tassi	removed debug pps	commit \| commitdiff \| tree
2008-09-18	Enrico Tassi	fixed script	commit \| commitdiff \| tree
2008-09-17	Enrico Tassi	snapshot	commit \| commitdiff \| tree
2008-09-17	Enrico Tassi	...	commit \| commitdiff \| tree
2008-09-16	Enrico Tassi	...	commit \| commitdiff \| tree
2008-09-16	Enrico Tassi	...	commit \| commitdiff \| tree
2008-09-16	Enrico Tassi	...	commit \| commitdiff \| tree
2008-09-16	Enrico Tassi	...	commit \| commitdiff \| tree
2008-09-16	Enrico Tassi	new directory for the newGeneration refiner	commit \| commitdiff \| tree
2008-09-10	Enrico Tassi	reverted auto experiment	commit \| commitdiff \| tree
2008-09-10	Enrico Tassi	AGAIN A TEST	commit \| commitdiff \| tree
2008-09-10	Enrico Tassi	COMMIT TO JUST RUN A BENCH, SHOULD BE REVERTED ASAP...	commit \| commitdiff \| tree
2008-09-09	Enrico Tassi	some work to make tries "printable", fixed comparison...	commit \| commitdiff \| tree
2008-09-08	Enrico Tassi	...	commit \| commitdiff \| tree
2008-09-05	Enrico Tassi	...	commit \| commitdiff \| tree
2008-09-05	Enrico Tassi	unification+pullback fix. It used to saturate a coercion...	commit \| commitdiff \| tree
2008-09-04	Enrico Tassi	fixed case of divergence	commit \| commitdiff \| tree
2008-09-04	Enrico Tassi	fixed notation	commit \| commitdiff \| tree
2008-09-04	Enrico Tassi	restored	commit \| commitdiff \| tree
2008-09-04	Enrico Tassi	....	commit \| commitdiff \| tree
2008-09-04	Enrico Tassi	...	commit \| commitdiff \| tree
2008-09-04	Enrico Tassi	removed debug pps	commit \| commitdiff \| tree
2008-09-04	Enrico Tassi	comparison function fixed	commit \| commitdiff \| tree
2008-09-04	Enrico Tassi	...	commit \| commitdiff \| tree
2008-09-04	Enrico Tassi	removed old non-working file	commit \| commitdiff \| tree
2008-09-04	Enrico Tassi	notation_id were compared using Pervasives.equal this...	commit \| commitdiff \| tree
2008-09-04	Enrico Tassi	stop running LAMBDA-TYPES as a test, can be reactivated...	commit \| commitdiff \| tree
2008-08-28	Enrico Tassi	...	commit \| commitdiff \| tree
2008-08-28	Enrico Tassi	...	commit \| commitdiff \| tree
2008-08-26	Enrico Tassi	fixed some stuff	commit \| commitdiff \| tree
2008-08-24	Enrico Tassi	...	commit \| commitdiff \| tree
2008-08-23	Enrico Tassi	...	commit \| commitdiff \| tree
2008-08-23	Enrico Tassi	...	commit \| commitdiff \| tree
2008-08-23	Enrico Tassi	notation with mstyle attributes, like colors and size	commit \| commitdiff \| tree
2008-08-23	Enrico Tassi	...	commit \| commitdiff \| tree
2008-08-21	Enrico Tassi	pango escape fixed	commit \| commitdiff \| tree
2008-08-21	Enrico Tassi	...	commit \| commitdiff \| tree
2008-08-17	Enrico Tassi	escape < in pango attrs	commit \| commitdiff \| tree
2008-08-16	Enrico Tassi	added support for font scaling to autogui	commit \| commitdiff \| tree
2008-08-16	Enrico Tassi	added interpretation for \naturals, \rationals, and...	commit \| commitdiff \| tree
2008-08-01	Enrico Tassi	fixed recursiveness check	commit \| commitdiff \| tree
2008-08-01	Enrico Tassi	fixed recursiveness check	commit \| commitdiff \| tree
2008-07-30	Enrico Tassi	fixed check, if 0 constructors then no List.nth is...	commit \| commitdiff \| tree
2008-07-30	Enrico Tassi	allowed sort elim now check for recursive types	commit \| commitdiff \| tree
2008-07-30	Enrico Tassi	fixed allowed sort elim	commit \| commitdiff \| tree
2008-07-25	Enrico Tassi	- too strict check on left parameters of constructors...	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	...	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	0.5.3	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	0.5.3	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	some more fixes	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	fixed some GUI glitches	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	positivity check fixed	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	...	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	positivity check fixed, some subterms were erroneously...	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	universes in CicBrowser	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	better ranking interface	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	better tex/utf8 win	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	better cb	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	better UI for TeX/Unicode and terms grammar	commit \| commitdiff \| tree
2008-07-23	Enrico Tassi	remove bad aliases from toolbox	commit \| commitdiff \| tree
2008-07-22	Enrico Tassi	...	commit \| commitdiff \| tree
2008-07-22	Enrico Tassi	...	commit \| commitdiff \| tree
2008-07-21	Enrico Tassi	...	commit \| commitdiff \| tree
2008-07-21	Enrico Tassi	added notes about notation	commit \| commitdiff \| tree
2008-07-21	Enrico Tassi	add conf key matita.debug_menu	commit \| commitdiff \| tree
2008-07-21	Enrico Tassi	avoid empty hvbox	commit \| commitdiff \| tree
2008-07-18	Enrico Tassi	better metavariable context	commit \| commitdiff \| tree
2008-07-18	Enrico Tassi	metavariable context has a separator now	commit \| commitdiff \| tree
2008-07-18	Enrico Tassi	exception inside regex callback not re-raised if equal...	commit \| commitdiff \| tree
2008-07-16	Enrico Tassi	notations for lists adds some breaking points	commit \| commitdiff \| tree
2008-07-15	Enrico Tassi	more notation moved to core notation, unification of...	commit \| commitdiff \| tree
2008-07-15	Enrico Tassi	Since CProp_i = Type_i everything lowered without 2...	commit \| commitdiff \| tree
2008-07-15	Enrico Tassi	CProp_i <= Type_i , Type_i <= CProp_i	commit \| commitdiff \| tree
2008-07-15	Enrico Tassi	models over N fixed	commit \| commitdiff \| tree
2008-07-15	Enrico Tassi	new q_function representation	commit \| commitdiff \| tree
2008-07-15	Enrico Tassi	removed dummy comment	commit \| commitdiff \| tree
2008-07-15	Enrico Tassi	Using Prop conjuction on Props lowers the universes.	commit \| commitdiff \| tree
2008-07-10	Enrico Tassi	value has a specification	commit \| commitdiff \| tree
2008-07-10	Enrico Tassi	updated changelog	commit \| commitdiff \| tree
2008-07-10	Enrico Tassi	more work on dama	commit \| commitdiff \| tree
2008-07-10	Enrico Tassi	fixed regression in casting an argument to funclass...	commit \| commitdiff \| tree
2008-07-09	Enrico Tassi	better notation	commit \| commitdiff \| tree
2008-07-09	Enrico Tassi	minor fixes	commit \| commitdiff \| tree
2008-07-09	Enrico Tassi	CProp hierarchy fixed:	commit \| commitdiff \| tree
2008-07-09	Enrico Tassi	tab -> ' '	commit \| commitdiff \| tree
2008-07-09	Enrico Tassi	...	commit \| commitdiff \| tree
2008-07-07	Enrico Tassi	simplified coercDb implementation with additional info...	commit \| commitdiff \| tree
2008-07-03	Enrico Tassi	...snapshot	commit \| commitdiff \| tree
2008-07-03	Enrico Tassi	...	commit \| commitdiff \| tree
2008-07-02	Enrico Tassi	some work	commit \| commitdiff \| tree
2008-07-02	Enrico Tassi	...	commit \| commitdiff \| tree
2008-07-02	Enrico Tassi	return 1 in case of failure	commit \| commitdiff \| tree
2008-07-02	Enrico Tassi	0.5.2	commit \| commitdiff \| tree
2008-07-02	Enrico Tassi	0.5.2	commit \| commitdiff \| tree
2008-07-02	Enrico Tassi	...	commit \| commitdiff \| tree
2008-07-02	Enrico Tassi	...	commit \| commitdiff \| tree
next

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

RSS Atom