]> matita.cs.unibo.it Git - helm.git/history - matita/matita/contribs/lambdadelta/ground_2
update in binaries for λδ
[helm.git] / matita / matita / contribs / lambdadelta / ground_2 /
2020-01-10 Ferruccio Guidiupdate in ground_2, static_2, basic_2
2020-01-08 Ferruccio Guidiupdate in ground_2, static_2, basic_2, apps_2, alpha_1
2020-01-06 Ferruccio Guidiupdate in ground_2
2020-01-06 Ferruccio Guidiupdate in ground_2, static_2, basic_2
2019-11-19 Ferruccio Guidiλδ-2B is released
2019-11-18 Ferruccio Guidiupdate for the article
2019-10-21 Ferruccio Guidiupdate in basic_2
2019-10-14 Ferruccio Guidibackport of WIP on \lambda\delta to matita 0.99.3
2019-10-03 Ferruccio Guidiupdate in ground_2 and basic_2
2019-10-01 Ferruccio GuidiMerge remote-tracking branch 'origin/matita-lablgtk3'
2019-09-30 Ferruccio Guidiupdate in ground_2 and basic_2
2019-09-29 Ferruccio GuidiMerge branch 'matita-lablgtk3' of ssh://matita.cs.unibo...
2019-09-28 Ferruccio Guidiupdate in basic_2
2019-09-27 Claudio Sacerdoti... Merge branch 'declarative' into matita-lablgtk3
2019-08-23 Ferruccio Guidiupdate in ground_2 static_2 basic_2
2019-08-19 Ferruccio Guidistill more additions and corrections for the article
2019-06-15 Ferruccio Guidisome restyling ...
2019-06-02 Ferruccio Guidimilestone in basic_2
2019-04-05 Ferruccio Guidiupdate in ground_2 static_2 basic_2
2019-03-20 Ferruccio Guidiupdate in ground_2 static_2 basic_2
2019-02-04 Ferruccio Guidiminor corrections and updates
2018-11-08 Ferruccio Guidiupdate in basic_2 and in web site
2018-11-05 Ferruccio Guidiupdate in basic_2, static_2, web site
2018-09-19 Ferruccio Guidiupdate in ground_2, static_2, basic_2
2018-09-12 Ferruccio Guidiupdate in ground_2, static_2, basic_2
2018-09-01 Ferruccio Guidiupdate in basic_2 and ground_2
2018-08-07 Ferruccio Guidicommit in ground_2, static_2, basic_2, apps_2
2018-08-01 Ferruccio Guidiupdate in ground_2 and basic_2
2018-07-28 Ferruccio Guidiupdate in ground_2 and basic_2
2018-07-26 Ferruccio Guidiupdate in basic_2 and ground_2
2018-07-19 Ferruccio Guidiupdate in ground_2
2018-07-02 Ferruccio Guidisyntactic components detached from basic_2 become static_2
2018-06-06 Ferruccio Guidiupdate in ground_2 and basic_2
2018-06-04 Ferruccio Guidiupdate in ground_2 and basic_2
2018-05-23 Ferruccio Guidiupdate in ground_2 and basic_2 (partial commit)
2018-05-12 Ferruccio Guidiupdate in ground_2 and basic_2
2018-05-10 Ferruccio Guidiupdate in ground_2
2018-05-09 Ferruccio Guidiupdate in groud_2 and models
2018-05-08 Ferruccio Guidiupdate in grond_2 and models
2018-05-05 Ferruccio Guidiupdate in basic_2
2018-05-04 Ferruccio Guidiupdate in ground_2 and basic_2
2018-05-03 Ferruccio Guidiupdate in ground_2 and models
2018-05-03 Ferruccio Guidinotational update in lambdadelta completed
2018-05-01 Ferruccio Guidipartial notational update in ground_2 and basic_2 ....
2018-05-01 Ferruccio Guidiupdate in models and ground_2
2018-04-25 Ferruccio Guidiupdate in ground_2 and basic_2
2018-04-20 Ferruccio Guidinotational update in ground_2 and basic_2
2018-04-16 Ferruccio Guidiupdate in basic_2 and ground_2
2018-04-05 Ferruccio Guidibug fixed in xoa generator
2018-03-02 Ferruccio Guidiupdate in ground_2 and basic_2
2018-01-13 Ferruccio Guidiupdate in ground_2 and basic_2
2018-01-06 Ferruccio Guidiupdate in ground_2 + \lambda\delta-related ignores
2017-12-04 Ferruccio Guidi- work in progress proceeds for the new definition...
2017-11-20 Ferruccio Guidi- ground_2: rtmap: disjointness relation
2017-10-21 Ferruccio Guidi- one conjecture closed on lsubf
2017-10-16 Ferruccio Guidi- exclusion binder added in local environments
2017-10-10 Ferruccio Guidi- more results on relocation
2017-09-10 Ferruccio Guidixoa notation refactoring and minor additions
2017-04-28 Ferruccio Guidirefactoring completed
2017-04-27 Ferruccio Guidirefactoring ...
2017-02-16 Ferruccio Guidi- cprs and cnx on the way
2017-01-21 Ferruccio Guidi- improved fqu allows to prove fqu_cpx_trans and its...
2017-01-17 Ferruccio Guidiprevious lemma proved ...
2017-01-17 Ferruccio Guidiimproved lsubf allowes to prove lsubf_frees_trans.
2017-01-16 Ferruccio Guidiadvances towards confluence of reduction in local envir...
2016-10-03 Ferruccio Guidi- basic_2 : restricted refinement for free variables...
2016-09-29 Ferruccio Guidimore on lfpx_frees.ma ...
2016-09-26 Ferruccio Guidi- reconstruction of lfpx_frees.ma begins ...
2016-09-23 Ferruccio Guidiimproved lexs_conf, now holds under weaker hypotheses ...
2016-09-22 Ferruccio Guidibasic_2: stronger supclosure allows better inversion...
2016-07-26 Ferruccio Guidibug fix in the context reduction rule for cast (cpm)
2016-07-25 Ferruccio Guidiwe count rt parallel steps in a different way:
2016-07-04 Ferruccio Guidibasic properties of cpr ...
2016-07-01 Ferruccio Guidifirst definition of cpm:
2016-06-27 Ferruccio Guidilfpx_drops completed!
2016-06-25 Ferruccio Guiditotality of co-composition !
2016-06-20 Ferruccio Guidiupdating the dropable-related definitions with coafter ...
2016-06-09 Ferruccio Guidifrees_drops completed!
2016-06-06 Ferruccio Guidiwork in progress on frees_drops
2016-05-31 Ferruccio Guidifrees_drops, initial versrion
2016-05-30 Ferruccio Guidisome results on co-composition ...
2016-05-29 Ferruccio Guidimore results on sor ...
2016-05-25 Ferruccio Guidiinitial support for lfpx_drops ...
2016-05-18 Ferruccio Guidi- ground_2: support for lifts_div4
2016-04-22 Ferruccio Guidi- partial commit of rt_transition ...
2016-04-18 Ferruccio Guidiground_2: generic rt-transition counter
2016-04-16 Ferruccio Guidi- former llpx_sn an lleq reactivated as lfxs and lfeq
2016-04-11 Ferruccio Guidi- advances on drops
2016-04-08 Ferruccio Guidi- commit of the "s_computation" component ...
2016-04-01 Ferruccio Guidi- new component "s_transition" for the restored fqu...
2016-03-31 Ferruccio Guidi- uniform relocations
2016-03-23 Ferruccio Guidi- ng_kernel: we print the offending term when guarded_b...
2016-03-21 Ferruccio Guidirtmaps with finite colength
2016-03-18 Ferruccio Guidiadvances in the theory of drops, lexs, and frees ...
2016-03-13 Ferruccio Guidi- new syntax for let rec/corec with flavor specifier...
2016-03-10 Ferruccio Guidi- ground_2: some additions
2016-03-07 Ferruccio Guidimore results on after ...
2016-03-04 Ferruccio Guidismall improvements and corrections ...
2016-03-04 Ferruccio Guidicommitcompleted: some files were missing :(
2016-03-04 Ferruccio Guidirtmap (platform-indepent multple relocation): applicati...
next