matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/Makefile

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/Makefile

[helm.git] / matita / matita / contribs / lambdadelta / Makefile

2018-07-02	Ferruccio Guidi	syntactic components detached from basic_2 become static_2	blob \| commitdiff \| raw
2018-06-06	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-04-05	Ferruccio Guidi	bug fixed in xoa generator	blob \| commitdiff \| raw \| diff to current
2018-03-19	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-13	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2017-11-24	Ferruccio Guidi	- lpx and lpxs restored to prove equivalene between...	blob \| commitdiff \| raw \| diff to current
2017-11-02	Ferruccio Guidi	- exclusion binder in local environments	blob \| commitdiff \| raw \| diff to current
2017-10-26	Ferruccio Guidi	- cpxs completed	blob \| commitdiff \| raw \| diff to current
2017-10-10	Ferruccio Guidi	update in basic_2 due to previous update in grond_2	blob \| commitdiff \| raw \| diff to current
2017-01-22	Ferruccio Guidi	- degree-based equivalene for terms	blob \| commitdiff \| raw \| diff to current
2017-01-18	Ferruccio Guidi	- improved lfpr_lfpr	blob \| commitdiff \| raw \| diff to current
2016-03-25	Ferruccio Guidi	- probe: now includes source character count (was:...	blob \| commitdiff \| raw \| diff to current
2015-09-20	Ferruccio Guidi	limits: we set up a different foundation	blob \| commitdiff \| raw \| diff to current
2015-03-25	Ferruccio Guidi	- revision of ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2015-01-30	Ferruccio Guidi	porting of basic_1 for the ng_kernel: first step ...	blob \| commitdiff \| raw \| diff to current
2014-10-19	Ferruccio Guidi	- grafiteParser: we added the comand "defined" as a...	blob \| commitdiff \| raw \| diff to current
2014-08-07	Ferruccio Guidi	- bugfixed "aacr" allows to remove historical eta-conve...	blob \| commitdiff \| raw \| diff to current
2014-08-06	Ferruccio Guidi	- some renaming and minor updates	blob \| commitdiff \| raw \| diff to current
2014-08-05	Ferruccio Guidi	- basic_2: reaxiomatized snv with improved cpds and...	blob \| commitdiff \| raw \| diff to current
2014-06-29	Ferruccio Guidi	- wrong version of drop was used in four places	blob \| commitdiff \| raw \| diff to current
2014-06-07	Ferruccio Guidi	- advances on free variables allow to reduce lleq_lpx_t...	blob \| commitdiff \| raw \| diff to current
2013-11-27	Ferruccio Guidi	web page for ground_2 and bugfixed statistics generatio...	blob \| commitdiff \| raw \| diff to current
2013-11-25	Ferruccio Guidi	- xoa: the definitions file now includes the notations...	blob \| commitdiff \| raw \| diff to current
2013-10-27	Ferruccio Guidi	- lambdadelta: tentative definition of lazy equivalence...	blob \| commitdiff \| raw \| diff to current
2013-10-04	Ferruccio Guidi	- degree assignment, static type assignment, iterated...	blob \| commitdiff \| raw \| diff to current
2013-08-09	Ferruccio Guidi	- matitadep: new option -t to list the unreferenced...	blob \| commitdiff \| raw \| diff to current
2013-07-26	Ferruccio Guidi	lambdadelta	blob \| commitdiff \| raw \| diff to current
2013-03-14	Ferruccio Guidi	- main proof case closed in the 4th component of preser...	blob \| commitdiff \| raw \| diff to current
2013-03-13	Ferruccio Guidi	- lambdadelta: third recursive part of preservation...	blob \| commitdiff \| raw \| diff to current
2013-03-11	Ferruccio Guidi	some bugs fixed	blob \| commitdiff \| raw \| diff to current
2013-03-10	Ferruccio Guidi	- improved Makefile esp. with the "trim" function	blob \| commitdiff \| raw \| diff to current
2013-03-09	Ferruccio Guidi	- lenv refinement for stratified native validity redefined	blob \| commitdiff \| raw \| diff to current
2013-02-24	Ferruccio Guidi	- nUri : added Sets of uris for use in "probe"	blob \| commitdiff \| raw \| diff to current
2013-02-15	Ferruccio Guidi	we reformulate the extended computation to simplify...	blob \| commitdiff \| raw \| diff to current
2013-01-01	Ferruccio Guidi	- probe: new application to compute some data on the...	blob \| commitdiff \| raw \| diff to current
2012-12-28	Ferruccio Guidi	xoa: change in naming convenctions for existential...	blob \| commitdiff \| raw \| diff to current
2012-12-25	Ferruccio Guidi	- lambda_delta: programmed renaming to lambdadelta	blob \| commitdiff \| raw \| diff to current

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

RSS Atom