matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/web/basic

]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/basic_2/web/basic_2.ldw.xml

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / web / basic_2.ldw.xml

2019-03-25	Ferruccio Guidi	milestone in basic_2	blob \| commitdiff \| raw
2018-11-08	Ferruccio Guidi	update in basic_2 and in web site	blob \| commitdiff \| raw \| diff to current
2018-11-01	Ferruccio Guidi	milestone uupdate in basic_2	blob \| commitdiff \| raw \| diff to current
2018-09-21	Ferruccio Guidi	milestone in basic_2, λδ-2A reconstructed	blob \| commitdiff \| raw \| diff to current
2018-06-08	Ferruccio Guidi	milestone update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-28	Ferruccio Guidi	milestone update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-12	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2017-10-17	Ferruccio Guidi	- exclusion binder in local environments	blob \| commitdiff \| raw \| diff to current
2017-10-16	Ferruccio Guidi	- exclusion binder added in local environments	blob \| commitdiff \| raw \| diff to current
2017-04-16	Ferruccio Guidi	- strong normalization for rt-comutation	blob \| commitdiff \| raw \| diff to current
2017-04-14	Ferruccio Guidi	- lfpxs based on tc_lfxs	blob \| commitdiff \| raw \| diff to current
2017-03-16	Ferruccio Guidi	component rt_transition completed!	blob \| commitdiff \| raw \| diff to current
2017-02-19	Ferruccio Guidi	- one annotation added	blob \| commitdiff \| raw \| diff to current
2017-01-17	Ferruccio Guidi	lfpx_frees and confluence of lfpr!	blob \| commitdiff \| raw \| diff to current
2016-09-15	Ferruccio Guidi	one file was missing :(	blob \| commitdiff \| raw \| diff to current
2016-04-12	Ferruccio Guidi	- first working commit of the static component ..	blob \| commitdiff \| raw \| diff to current
2016-04-08	Ferruccio Guidi	- commit of the "s_computation" component ...	blob \| commitdiff \| raw \| diff to current
2016-03-27	Ferruccio Guidi	- minor corrections	blob \| commitdiff \| raw \| diff to current
2015-10-21	Ferruccio Guidi	minor update	blob \| commitdiff \| raw \| diff to current
2015-01-18	Ferruccio Guidi	- we add an informational page on \lambda\delta version...	blob \| commitdiff \| raw \| diff to current
2014-10-28	Ferruccio Guidi	\lambda\delta version 2A released on Web site	blob \| commitdiff \| raw \| diff to current
2014-10-26	Ferruccio Guidi	- some renaming according to the written version of...	blob \| commitdiff \| raw \| diff to current
2014-10-04	Ferruccio Guidi	- nnAuto: we catch TypeCheckerFailure generated at...	blob \| commitdiff \| raw \| diff to current
2014-10-02	Ferruccio Guidi	previous commit was not complete :(	blob \| commitdiff \| raw \| diff to current
2014-09-12	Ferruccio Guidi	one more typo ...	blob \| commitdiff \| raw \| diff to current
2014-09-10	Ferruccio Guidi	commit completed! the new iterated static type assignme...	blob \| commitdiff \| raw \| diff to current
2014-08-10	Ferruccio Guidi	some renaming and a minor addition	blob \| commitdiff \| raw \| diff to current
2014-06-18	Ferruccio Guidi	milestone connit for preservation:	blob \| commitdiff \| raw \| diff to current
2014-06-09	Ferruccio Guidi	advances on append allow to complete the long awaited...	blob \| commitdiff \| raw \| diff to current
2014-04-18	Ferruccio Guidi	- the relation for pointwise extensions now takes a...	blob \| commitdiff \| raw \| diff to current
2014-04-16	Ferruccio Guidi	3rd anniversary milestone	blob \| commitdiff \| raw \| diff to current
2014-02-24	Ferruccio Guidi	- we bypassed another false conjecture :) ...	blob \| commitdiff \| raw \| diff to current
2014-01-20	Ferruccio Guidi	commit completed: now we support two versions of slicin...	blob \| commitdiff \| raw \| diff to current
2013-12-01	Ferruccio Guidi	commit of the "substitution" component and of some...	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-07	Ferruccio Guidi	passive support for global environments completed!	blob \| commitdiff \| raw \| diff to current
2013-07-27	Ferruccio Guidi	- the milestone was not reported on the web page!	blob \| commitdiff \| raw \| diff to current
2013-07-20	Ferruccio Guidi	- new extendedd beta-reductum involving native type...	blob \| commitdiff \| raw \| diff to current
2013-04-16	Ferruccio Guidi	- we commit just the components before "reducibility"	blob \| commitdiff \| raw \| diff to current
2013-03-16	Ferruccio Guidi	- lambdadelta: last recursive part of preservation...	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

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

RSS Atom