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

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

[helm.git] / matita / matita / contribs / lambdadelta / basic_2 / web / basic_2_src.tbl

2018-09-18	Ferruccio Guidi	update in static_2 and basic_2	blob \| commitdiff \| raw
2018-09-12	Ferruccio Guidi	update in ground_2, static_2, basic_2	blob \| commitdiff \| raw \| diff to current
2018-09-08	Ferruccio Guidi	update in static_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-09-01	Ferruccio Guidi	update in basic_2 and ground_2	blob \| commitdiff \| raw \| diff to current
2018-08-18	Ferruccio Guidi	severe bug found in parallel zeta	blob \| commitdiff \| raw \| diff to current
2018-08-14	Ferruccio Guidi	severe bug found in parallel zeta	blob \| commitdiff \| raw \| diff to current
2018-08-07	Ferruccio Guidi	commit in ground_2, static_2, basic_2, apps_2	blob \| commitdiff \| raw \| diff to current
2018-08-01	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-07-28	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-07-27	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-07-26	Ferruccio Guidi	update in basic_2 and ground_2	blob \| commitdiff \| raw \| diff to current
2018-07-02	Ferruccio Guidi	syntactic components detached from basic_2 become static_2	blob \| commitdiff \| raw \| diff to current
2018-06-25	Ferruccio Guidi	renaming in basic_2	blob \| commitdiff \| raw \| diff to current
2018-06-12	Ferruccio Guidi	renaming in basic_2	blob \| commitdiff \| raw \| diff to current
2018-06-11	Ferruccio Guidi	Merge branch 'master' of ssh://matita.cs.unibo.it:...	blob \| commitdiff \| raw \| diff to current
2018-06-11	Ferruccio Guidi	bug fix in basic_2	blob \| commitdiff \| raw \| diff to current
2018-06-11	Ferruccio Guidi	bug fix in basic_2	blob \| commitdiff \| raw \| diff to current
2018-06-11	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-06-09	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-06-08	Ferruccio Guidi	milestone update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-06-07	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-06-06	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-06-04	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-29	Ferruccio Guidi	commit completed in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-29	Ferruccio Guidi	partial commit in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-25	Ferruccio Guidi	partial update update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-23	Ferruccio Guidi	update in ground_2 and basic_2 (partial commit)	blob \| commitdiff \| raw \| diff to current
2018-05-14	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-12	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-12	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-11	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-11	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-11	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-09	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-04	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-05-01	Ferruccio Guidi	partial notational update in ground_2 and basic_2 ....	blob \| commitdiff \| raw \| diff to current
2018-04-27	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-04-25	Ferruccio Guidi	update in ground_2 and basic_2	blob \| commitdiff \| raw \| diff to current
2018-04-16	Ferruccio Guidi	update in basic_2 and ground_2	blob \| commitdiff \| raw \| diff to current
2018-03-27	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-21	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-20	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-19	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-17	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-16	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-14	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
2018-03-12	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-10	Ferruccio Guidi	bugfix update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-09	Ferruccio Guidi	update in basic_2 + web page	blob \| commitdiff \| raw \| diff to current
2018-03-08	Ferruccio Guidi	long awaited update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-08	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-06	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-05	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-03-04	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2018-02-15	Ferruccio Guidi	integrating the framework with fle ...	blob \| commitdiff \| raw \| diff to current
2018-02-10	Ferruccio Guidi	two cases of cpx_lfxs_conf_fle closed	blob \| commitdiff \| raw \| diff to current
2018-01-17	Ferruccio Guidi	update in basic_2	blob \| commitdiff \| raw \| diff to current
2017-12-04	Ferruccio Guidi	- work in progress proceeds for the new definition...	blob \| commitdiff \| raw \| diff to current
2017-11-30	Ferruccio Guidi	the previous commit was incomplete :(	blob \| commitdiff \| raw \| diff to current
2017-11-27	Ferruccio Guidi	- free variables innclusion (fle) encapsulates some...	blob \| commitdiff \| raw \| diff to current
2017-11-24	Ferruccio Guidi	- equivalence between lfpxs and lpxs + lfeq proved	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-22	Ferruccio Guidi	- equivalene of tc_lfxs and lex + lfeq proved	blob \| commitdiff \| raw \| diff to current
2017-11-20	Ferruccio Guidi	- ground_2: rtmap: disjointness relation	blob \| commitdiff \| raw \| diff to current
2017-11-17	Ferruccio Guidi	- dependences on ceq and ceq_ext fixed	blob \| commitdiff \| raw \| diff to current
2017-11-17	Ferruccio Guidi	former commit completed: one file was missing :(	blob \| commitdiff \| raw \| diff to current
2017-11-17	Ferruccio Guidi	- ext2_tc added	blob \| commitdiff \| raw \| diff to current
2017-11-14	Ferruccio Guidi	- notation change for tdeq and related notions	blob \| commitdiff \| raw \| diff to current
2017-11-13	Ferruccio Guidi	- lsubsx (replacement of lcosx) completed	blob \| commitdiff \| raw \| diff to current
2017-11-09	Ferruccio Guidi	lfsx_drops completed	blob \| commitdiff \| raw \| diff to current
2017-11-03	Ferruccio Guidi	- exclusion binder in local environments allows to...	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-25	Ferruccio Guidi	- exclusion binder in local environments	blob \| commitdiff \| raw \| diff to current
2017-10-25	Ferruccio Guidi	- exclusion binder in local environments	blob \| commitdiff \| raw \| diff to current
2017-10-25	Ferruccio Guidi	- exclusion binder in local environments	blob \| commitdiff \| raw \| diff to current
2017-10-23	Ferruccio Guidi	- exclusion binder in local environments:	blob \| commitdiff \| raw \| diff to current
2017-10-17	Ferruccio Guidi	- exclusion binder in local environments	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-05-25	Ferruccio Guidi	extension of a relation to binders	blob \| commitdiff \| raw \| diff to current
2017-04-28	Ferruccio Guidi	one file was missing :(	blob \| commitdiff \| raw \| diff to current
2017-04-24	Ferruccio Guidi	some improvements before setting up the exclusion binder	blob \| commitdiff \| raw \| diff to current
2017-04-17	Ferruccio Guidi	- advances on lfpxs ...	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-04-05	Ferruccio Guidi	- first prroperties on lfsx proved	blob \| commitdiff \| raw \| diff to current
2017-04-04	Ferruccio Guidi	advances non lfsx ...	blob \| commitdiff \| raw \| diff to current
2017-04-03	Ferruccio Guidi	- lfsx started ...	blob \| commitdiff \| raw \| diff to current
2017-04-01	Ferruccio Guidi	- strongly normalizing terms form a candidate of reduci...	blob \| commitdiff \| raw \| diff to current
2017-03-30	Ferruccio Guidi	- csx_cnx_vector.ma completed	blob \| commitdiff \| raw \| diff to current
2017-03-29	Ferruccio Guidi	csx_lfpx.ma completed!	blob \| commitdiff \| raw \| diff to current
2017-03-29	Ferruccio Guidi	- advances towards strong normalization	blob \| commitdiff \| raw \| diff to current
2017-03-21	Ferruccio Guidi	we finally understood what tsts is, :)	blob \| commitdiff \| raw \| diff to current
2017-03-17	Ferruccio Guidi	advances on csx towards strong normalization of rt...	blob \| commitdiff \| raw \| diff to current
2017-03-16	Ferruccio Guidi	component rt_transition completed!	blob \| commitdiff \| raw \| diff to current
2017-03-16	Ferruccio Guidi	- more commutations with superclosure: fpb_lfdeq	blob \| commitdiff \| raw \| diff to current
2017-03-14	Ferruccio Guidi	- fpbq	blob \| commitdiff \| raw \| diff to current
2017-03-14	Ferruccio Guidi	- cpxs_tsts_vector completed	blob \| commitdiff \| raw \| diff to current
next

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

RSS Atom