2022-05-19 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
2021-12-30 |
Ferruccio Guidi | update in ground, static_2 and apps_2 |
tree | commitdiff |
2021-12-25 |
Ferruccio Guidi | update in ground, basic_2A and apps_2 |
tree | commitdiff |
2021-12-04 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
2021-11-30 |
Ferruccio Guidi | Merge branch 'master' of ssh://matita.cs.unibo.it:... |
tree | commitdiff |
2021-10-29 |
Ferruccio Guidi | update in ground static_2 basic_2 apps_2 |
tree | commitdiff |
2021-06-29 |
Ferruccio Guidi | update in ground and static_2 |
tree | commitdiff |
2021-05-28 |
Ferruccio Guidi | milestone update in ground |
tree | commitdiff |
2021-02-24 |
Ferruccio Guidi | update in bin |
tree | commitdiff |
2020-12-28 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
2020-09-25 |
Ferruccio Guidi | milestone update in basic_2 |
tree | commitdiff |
2020-07-18 |
Ferruccio Guidi | update in static_2 |
tree | commitdiff |
2020-04-24 |
Ferruccio Guidi | update in staic_2 and basic_2 |
tree | commitdiff |
2020-04-18 |
Ferruccio Guidi | milestone update in basic_2, update in ground and static_2 |
tree | commitdiff |
2020-02-27 |
Ferruccio Guidi | ground_2 released and permanently renamed as ground |
tree | commitdiff |
2020-01-14 |
Ferruccio Guidi | update in basic_2 and apps_2 |
tree | commitdiff |
2020-01-10 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
tree | commitdiff |
2020-01-08 |
Ferruccio Guidi | update in ground_2, static_2, basic_2, apps_2, alpha_1 |
tree | commitdiff |
2019-11-19 |
Ferruccio Guidi | λδ-2B is released |
tree | commitdiff |
2019-10-01 |
Ferruccio Guidi | Merge remote-tracking branch 'origin/matita-lablgtk3' |
tree | commitdiff |
2019-09-29 |
Ferruccio Guidi | Merge branch 'matita-lablgtk3' of ssh://matita.cs.unibo... |
tree | commitdiff |
2019-09-29 |
Ferruccio Guidi | update in static_2 |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | Merge branch 'declarative' into matita-lablgtk3 |
tree | commitdiff |
2019-09-18 |
Ferruccio Guidi | update in static_2 and basic_2 |
tree | commitdiff |
2019-08-23 |
Ferruccio Guidi | update in ground_2 static_2 basic_2 |
tree | commitdiff |
2019-07-20 |
Ferruccio Guidi | more additions and corrections for the article |
tree | commitdiff |
2019-06-15 |
Ferruccio Guidi | some restyling ... |
tree | commitdiff |
2019-06-02 |
Ferruccio Guidi | milestone in basic_2 |
tree | commitdiff |
2019-03-25 |
Ferruccio Guidi | milestone in basic_2 |
tree | commitdiff |
2018-09-29 |
Ferruccio Guidi | update in basic_2 and apps_2 |
tree | commitdiff |
2018-08-19 |
Ferruccio Guidi | severe bug found in parallel zeta |
tree | commitdiff |
2018-08-07 |
Ferruccio Guidi | commit in ground_2, static_2, basic_2, apps_2 |
tree | commitdiff |
2018-07-21 |
Ferruccio Guidi | update in apps_2 |
tree | commitdiff |
2018-07-19 |
Ferruccio Guidi | update in functional |
tree | commitdiff |
2018-07-13 |
Ferruccio Guidi | update in static_2 and app_2 |
tree | commitdiff |
2018-07-11 |
Ferruccio Guidi | update in static_2 and app_2 |
tree | commitdiff |
2018-07-02 |
Ferruccio Guidi | syntactic components detached from basic_2 become static_2 |
tree | commitdiff |
2018-05-09 |
Ferruccio Guidi | update in groud_2 and models |
tree | commitdiff |
2018-05-08 |
Ferruccio Guidi | update in grond_2 and models |
tree | commitdiff |
2018-05-07 |
Ferruccio Guidi | update in apps_2 |
tree | commitdiff |
2018-05-04 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
2018-05-03 |
Ferruccio Guidi | update in ground_2 and models |
tree | commitdiff |
2018-05-03 |
Ferruccio Guidi | notational update in lambdadelta completed |
tree | commitdiff |
2018-05-01 |
Ferruccio Guidi | update in models and ground_2 |
tree | commitdiff |
2018-04-30 |
Ferruccio Guidi | initial definition of λδ model |
tree | commitdiff |
2018-04-16 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
2017-10-25 |
Ferruccio Guidi | - exclusion binder in local environments |
tree | commitdiff |
2017-10-16 |
Ferruccio Guidi | - exclusion binder added in local environments |
tree | commitdiff |
2017-03-09 |
Ferruccio Guidi | cpxs_drops completed |
tree | commitdiff |
2017-03-06 |
Ferruccio Guidi | - advances on lfxs for lfpxs |
tree | commitdiff |
2017-01-22 |
Ferruccio Guidi | - degree-based equivalene for terms |
tree | commitdiff |
2016-04-12 |
Ferruccio Guidi | - first working commit of the static component .. |
tree | commitdiff |
2016-03-27 |
Ferruccio Guidi | - minor corrections |
tree | commitdiff |
2015-01-18 |
Ferruccio Guidi | - we add an informational page on \lambda\delta version... |
tree | commitdiff |
2014-10-28 |
Ferruccio Guidi | \lambda\delta version 2A released on Web site |
tree | commitdiff |
2014-10-26 |
Ferruccio Guidi | - some renaming according to the written version of... |
tree | commitdiff |
2014-09-15 |
Ferruccio Guidi | notational change of lift, drop, and gget |
tree | commitdiff |
2014-09-12 |
Ferruccio Guidi | bug fix in ththe notation for lists: |
tree | commitdiff |
2014-08-07 |
Ferruccio Guidi | - bugfixed "aacr" allows to remove historical eta-conve... |
tree | commitdiff |
2014-06-29 |
Ferruccio Guidi | - wrong version of drop was used in four places |
tree | commitdiff |
2014-06-28 |
Ferruccio Guidi | - ldrop is now drop as in basic_1 |
tree | commitdiff |
2014-06-01 |
Ferruccio Guidi | - some refactoring and minor additions |
tree | commitdiff |
2014-04-20 |
Ferruccio Guidi | - name changes in the rediction rules |
tree | commitdiff |
2014-02-24 |
Ferruccio Guidi | - we bypassed another false conjecture :) ... |
tree | commitdiff |
2013-11-25 |
Ferruccio Guidi | - xoa: the definitions file now includes the notations... |
tree | commitdiff |
2013-11-03 |
Ferruccio Guidi | second and third commutation property on lazy equivalen... |
tree | commitdiff |
2013-10-04 |
Ferruccio Guidi | - degree assignment, static type assignment, iterated... |
tree | commitdiff |
2013-07-27 |
Ferruccio Guidi | - the milestone was not reported on the web page! |
tree | commitdiff |
2013-07-26 |
Ferruccio Guidi | lambdadelta |
tree | commitdiff |
2013-06-01 |
Ferruccio Guidi | - basic_2: induction for preservation results now uses... |
tree | commitdiff |
2013-05-16 |
Ferruccio Guidi | - some renaming |
tree | commitdiff |
2013-04-07 |
Ferruccio Guidi | - new component for restricted computation (delta,... |
tree | commitdiff |
2013-03-10 |
Ferruccio Guidi | - improved Makefile esp. with the "trim" function |
tree | commitdiff |
2013-03-09 |
Ferruccio Guidi | - lenv refinement for stratified native validity redefined |
tree | commitdiff |
2012-12-28 |
Ferruccio Guidi | xoa: change in naming convenctions for existential... |
tree | commitdiff |
2012-12-25 |
Ferruccio Guidi | - lambda_delta: programmed renaming to lambdadelta |
tree | commitdiff |
|