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

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

2017-03-05	Ferruccio Guidi	advances on cpxs and cnx (cnxa removed) ,,,	commit \| commitdiff \| tree \| snapshot
2017-03-02	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2017-03-02	Ferruccio Guidi	- advances on csx	commit \| commitdiff \| tree \| snapshot
2017-02-27	Ferruccio Guidi	- initial support for sigma-types	commit \| commitdiff \| tree \| snapshot
2017-02-20	Ferruccio Guidi	csx on the way ...	commit \| commitdiff \| tree \| snapshot
2017-02-19	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2017-02-19	Ferruccio Guidi	- advances on cnx	commit \| commitdiff \| tree \| snapshot
2017-02-19	Ferruccio Guidi	- one annotation added	commit \| commitdiff \| tree \| snapshot
2017-02-19	Ferruccio Guidi	milestone in basic_2	commit \| commitdiff \| tree \| snapshot
2017-02-19	Ferruccio Guidi	support for generic reducibility ...	commit \| commitdiff \| tree \| snapshot
2017-02-19	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2017-02-16	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2017-02-16	Ferruccio Guidi	- cprs and cnx on the way	commit \| commitdiff \| tree \| snapshot
2017-02-01	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2017-02-01	Ferruccio Guidi	- advances in rt_transition	commit \| commitdiff \| tree \| snapshot
2017-01-30	Ferruccio Guidi	- comparative table of the core objects started ...	commit \| commitdiff \| tree \| snapshot
2017-01-26	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2017-01-26	Ferruccio Guidi	- some commutations between the rt-steps and the s...	commit \| commitdiff \| tree \| snapshot
2017-01-24	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2017-01-24	Ferruccio Guidi	- updated equivalence on referred entries: it nust...	commit \| commitdiff \| tree \| snapshot
2017-01-22	Ferruccio Guidi	- degree-based equivalene for terms	commit \| commitdiff \| tree \| snapshot
2017-01-22	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2017-01-21	Ferruccio Guidi	update in basic_2 and ground_2 ...	commit \| commitdiff \| tree \| snapshot
2017-01-21	Ferruccio Guidi	- improved fqu allows to prove fqu_cpx_trans and its...	commit \| commitdiff \| tree \| snapshot
2017-01-19	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2017-01-19	Ferruccio Guidi	- preservation of arity assignment	commit \| commitdiff \| tree \| snapshot
2017-01-18	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2017-01-18	Ferruccio Guidi	- improved lfpr_lfpr	commit \| commitdiff \| tree \| snapshot
2017-01-17	Ferruccio Guidi	milestone in basic_2!	commit \| commitdiff \| tree \| snapshot
2017-01-17	Ferruccio Guidi	lfpx_frees and confluence of lfpr!	commit \| commitdiff \| tree \| snapshot
2017-01-17	Ferruccio Guidi	previous lemma proved ...	commit \| commitdiff \| tree \| snapshot
2017-01-17	Ferruccio Guidi	improved lsubf allowes to prove lsubf_frees_trans.	commit \| commitdiff \| tree \| snapshot
2017-01-16	Ferruccio Guidi	update in ground_2 and basic_2 ...	commit \| commitdiff \| tree \| snapshot
2017-01-16	Ferruccio Guidi	advances towards confluence of reduction in local envir...	commit \| commitdiff \| tree \| snapshot
2016-11-24	Ferruccio Guidi	lexer updated with the new reference syntax +	commit \| commitdiff \| tree \| snapshot
2016-11-23	Ferruccio Guidi	a linearized reference was still present ...	commit \| commitdiff \| tree \| snapshot
2016-11-23	Ferruccio Guidi	1) hard coded linearized references removed	commit \| commitdiff \| tree \| snapshot
2016-10-03	Ferruccio Guidi	- basic_2 : restricted refinement for free variables...	commit \| commitdiff \| tree \| snapshot
2016-09-29	Ferruccio Guidi	more on lfpx_frees.ma ...	commit \| commitdiff \| tree \| snapshot
2016-09-26	Ferruccio Guidi	- reconstruction of lfpx_frees.ma begins ...	commit \| commitdiff \| tree \| snapshot
2016-09-23	Ferruccio Guidi	improved lexs_conf, now holds under weaker hypotheses ...	commit \| commitdiff \| tree \| snapshot
2016-09-22	Ferruccio Guidi	update in ground_2 and basic_2 ...	commit \| commitdiff \| tree \| snapshot
2016-09-22	Ferruccio Guidi	basic_2: stronger supclosure allows better inversion...	commit \| commitdiff \| tree \| snapshot
2016-09-19	Ferruccio Guidi	some improvements towards the confluence of lfpr ...	commit \| commitdiff \| tree \| snapshot
2016-09-15	Ferruccio Guidi	milestone in basic_2!	commit \| commitdiff \| tree \| snapshot
2016-09-15	Ferruccio Guidi	one file was missing :(	commit \| commitdiff \| tree \| snapshot
2016-09-15	Ferruccio Guidi	diamond property of reduction!	commit \| commitdiff \| tree \| snapshot
2016-09-14	Ferruccio Guidi	first results on lfpr as a base for the diamond propert...	commit \| commitdiff \| tree \| snapshot
2016-09-13	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2016-09-13	Ferruccio Guidi	more results on cpm ...	commit \| commitdiff \| tree \| snapshot
2016-09-05	Ferruccio Guidi	one more paper citing \lambda\delta	commit \| commitdiff \| tree \| snapshot
2016-07-26	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2016-07-26	Ferruccio Guidi	bug fix in the context reduction rule for cast (cpm)	commit \| commitdiff \| tree \| snapshot
2016-07-25	Ferruccio Guidi	we count rt parallel steps in a different way:	commit \| commitdiff \| tree \| snapshot
2016-07-22	Ferruccio Guidi	xhtml simplified	commit \| commitdiff \| tree \| snapshot
2016-07-22	Ferruccio Guidi	more corrections to xhtml	commit \| commitdiff \| tree \| snapshot
2016-07-22	Ferruccio Guidi	corrected xhtml	commit \| commitdiff \| tree \| snapshot
2016-07-22	Ferruccio Guidi	site update	commit \| commitdiff \| tree \| snapshot
2016-07-21	Ferruccio Guidi	- initial page for osn ...	commit \| commitdiff \| tree \| snapshot
2016-07-04	Ferruccio Guidi	basic properties of cpr ...	commit \| commitdiff \| tree \| snapshot
2016-07-04	Ferruccio Guidi	- matex: notational macros for 0-ary constants	commit \| commitdiff \| tree \| snapshot
2016-07-03	Ferruccio Guidi	- matex: we separate axioms (propositions) and assumpti...	commit \| commitdiff \| tree \| snapshot
2016-07-01	Ferruccio Guidi	first definition of cpm:	commit \| commitdiff \| tree \| snapshot
2016-06-27	Ferruccio Guidi	update in basic_2 ...	commit \| commitdiff \| tree \| snapshot
2016-06-27	Ferruccio Guidi	lfpx_drops completed!	commit \| commitdiff \| tree \| snapshot
2016-06-25	Ferruccio Guidi	totality of co-composition !	commit \| commitdiff \| tree \| snapshot
2016-06-24	Ferruccio Guidi	more notation for basic_1 ...	commit \| commitdiff \| tree \| snapshot
2016-06-22	Ferruccio Guidi	- matex: minor improvements	commit \| commitdiff \| tree \| snapshot
2016-06-20	Ferruccio Guidi	updating the dropable-related definitions with coafter ...	commit \| commitdiff \| tree \| snapshot
2016-06-20	Ferruccio Guidi	corrections to use less font packages (TeX was complaining)	commit \| commitdiff \| tree \| snapshot
2016-06-19	Ferruccio Guidi	- matex: minor corrections to handle applications with...	commit \| commitdiff \| tree \| snapshot
2016-06-13	Ferruccio Guidi	does_not_occur documented	commit \| commitdiff \| tree \| snapshot
2016-06-12	Ferruccio Guidi	- improved support for case	commit \| commitdiff \| tree \| snapshot
2016-06-09	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2016-06-09	Ferruccio Guidi	frees_drops completed!	commit \| commitdiff \| tree \| snapshot
2016-06-06	Ferruccio Guidi	work in progress on frees_drops	commit \| commitdiff \| tree \| snapshot
2016-06-06	Ferruccio Guidi	MaTeX:	commit \| commitdiff \| tree \| snapshot
2016-06-01	Ferruccio Guidi	- source web pages for lambdadelta_1	commit \| commitdiff \| tree \| snapshot
2016-05-31	Ferruccio Guidi	- update in ground_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2016-05-31	Ferruccio Guidi	frees_drops, initial versrion	commit \| commitdiff \| tree \| snapshot
2016-05-30	Ferruccio Guidi	some results on co-composition ...	commit \| commitdiff \| tree \| snapshot
2016-05-29	Ferruccio Guidi	more results on sor ...	commit \| commitdiff \| tree \| snapshot
2016-05-25	Ferruccio Guidi	initial support for lfpx_drops ...	commit \| commitdiff \| tree \| snapshot
2016-05-24	Ferruccio Guidi	more files missing :((	commit \| commitdiff \| tree \| snapshot
2016-05-24	Ferruccio Guidi	une file was missing :(	commit \| commitdiff \| tree \| snapshot
2016-05-24	Ferruccio Guidi	bug fixing ...	commit \| commitdiff \| tree \| snapshot
2016-05-24	Ferruccio Guidi	initial support for lfpx (replaces lpx and the parked...	commit \| commitdiff \| tree \| snapshot
2016-05-24	Claudio Sacerdoti...	added config.ac to the tarball for debian packages	commit \| commitdiff \| tree \| snapshot
2016-05-23	Ferruccio Guidi	initial support for LaTeX-defined notatopn	commit \| commitdiff \| tree \| snapshot
2016-05-22	Ferruccio Guidi	- support fof global alpha-conversion with hyperlinks	commit \| commitdiff \| tree \| snapshot
2016-05-22	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2016-05-22	Ferruccio Guidi	- notational change for cpg and cpx	commit \| commitdiff \| tree \| snapshot
2016-05-21	Ferruccio Guidi	update in basic_2	commit \| commitdiff \| tree \| snapshot
2016-05-21	Ferruccio Guidi	- first results on cpx (dericed from those on cpg)	commit \| commitdiff \| tree \| snapshot
2016-05-19	Ferruccio Guidi	update in ground_2 and basic_2	commit \| commitdiff \| tree \| snapshot
2016-05-19	Ferruccio Guidi	bug fix in cpg allows to prove lsubr_cpg_trans	commit \| commitdiff \| tree \| snapshot
2016-05-18	Ferruccio Guidi	- ground_2: support for lifts_div4	commit \| commitdiff \| tree \| snapshot
2016-05-18	Ferruccio Guidi	news for matita 0.99.3	commit \| commitdiff \| tree \| snapshot
2016-05-18	Ferruccio Guidi	the source code of matita 0.99.3 is online	commit \| commitdiff \| tree \| snapshot
2016-05-18	Ferruccio Guidi	bugfix ind docbook code for the relise of matita 0...	commit \| commitdiff \| tree \| snapshot
next

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

RSS Atom