2020-01-10 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
blob | commitdiff | raw |
2020-01-08 |
Ferruccio Guidi | update in ground_2, static_2, basic_2, apps_2, alpha_1 |
blob | commitdiff | raw | diff to current |
2019-11-19 |
Ferruccio Guidi | λδ-2B is released |
blob | commitdiff | raw | diff to current |
2019-10-01 |
Ferruccio Guidi | Merge remote-tracking branch 'origin/matita-lablgtk3' |
blob | commitdiff | raw | diff to current |
2019-09-30 |
Ferruccio Guidi | update in ground_2 and basic_2 |
blob | commitdiff | raw | diff to current |
2019-09-29 |
Ferruccio Guidi | Merge branch 'matita-lablgtk3' of ssh://matita.cs.unibo... |
blob | commitdiff | raw | diff to current |
2019-09-27 |
Claudio Sacerdoti... | Merge branch 'declarative' into matita-lablgtk3 |
blob | commitdiff | raw | diff to current |
2019-03-20 |
Ferruccio Guidi | update in ground_2 static_2 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-07 |
Ferruccio Guidi | commit in ground_2, static_2, basic_2, apps_2 |
blob | commitdiff | raw | diff to current |
2018-07-19 |
Ferruccio Guidi | update in ground_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-05-23 |
Ferruccio Guidi | update in ground_2 and basic_2 (partial commit) |
blob | commitdiff | raw | diff to current |
2018-05-10 |
Ferruccio Guidi | update in ground_2 |
blob | commitdiff | raw | diff to current |
2018-05-08 |
Ferruccio Guidi | update in grond_2 and models |
blob | commitdiff | raw | diff to current |
2018-05-05 |
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-03 |
Ferruccio Guidi | update in ground_2 and models |
blob | commitdiff | raw | diff to current |
2018-05-03 |
Ferruccio Guidi | notational update in lambdadelta completed |
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-20 |
Ferruccio Guidi | notational 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 |
2017-11-20 |
Ferruccio Guidi | - ground_2: rtmap: disjointness relation |
blob | commitdiff | raw | diff to current |
2017-10-10 |
Ferruccio Guidi | - more results on relocation |
blob | commitdiff | raw | diff to current |
2017-04-27 |
Ferruccio Guidi | refactoring ... |
blob | commitdiff | raw | diff to current |
2016-07-25 |
Ferruccio Guidi | we count rt parallel steps in a different way: |
blob | commitdiff | raw | diff to current |
2016-07-01 |
Ferruccio Guidi | first definition of cpm: |
blob | commitdiff | raw | diff to current |
2016-06-25 |
Ferruccio Guidi | totality of co-composition ! |
blob | commitdiff | raw | diff to current |
2016-05-30 |
Ferruccio Guidi | some results on co-composition ... |
blob | commitdiff | raw | diff to current |
2016-05-25 |
Ferruccio Guidi | initial support for lfpx_drops ... |
blob | commitdiff | raw | diff to current |
2016-04-22 |
Ferruccio Guidi | - partial commit of rt_transition ... |
blob | commitdiff | raw | diff to current |
2016-04-18 |
Ferruccio Guidi | ground_2: generic rt-transition counter |
blob | commitdiff | raw | diff to current |
2016-03-31 |
Ferruccio Guidi | - uniform relocations |
blob | commitdiff | raw | diff to current |
2016-03-21 |
Ferruccio Guidi | rtmaps with finite colength |
blob | commitdiff | raw | diff to current |
2016-03-18 |
Ferruccio Guidi | advances in the theory of drops, lexs, and frees ... |
blob | commitdiff | raw | diff to current |
2016-03-10 |
Ferruccio Guidi | - ground_2: some additions |
blob | commitdiff | raw | diff to current |
2016-03-04 |
Ferruccio Guidi | small improvements and corrections ... |
blob | commitdiff | raw | diff to current |
2016-03-04 |
Ferruccio Guidi | commitcompleted: some files were missing :( |
blob | commitdiff | raw | diff to current |
2016-03-04 |
Ferruccio Guidi | rtmap (platform-indepent multple relocation): applicati... |
blob | commitdiff | raw | diff to current |
2016-03-02 |
Ferruccio Guidi | - second precommit for rtmap |
blob | commitdiff | raw | diff to current |
2016-02-23 |
Ferruccio Guidi | precommit for rtmap ... |
blob | commitdiff | raw | diff to current |
2016-02-07 |
Ferruccio Guidi | - ground_2: support for relocation updated |
blob | commitdiff | raw | diff to current |
2016-02-04 |
Ferruccio Guidi | - ground_2: relocation with nstream is now based on... |
blob | commitdiff | raw | diff to current |
2016-01-29 |
Ferruccio Guidi | lift functions and identity map |
blob | commitdiff | raw | diff to current |
2016-01-20 |
Ferruccio Guidi | nstream: composition completed :) |
blob | commitdiff | raw | diff to current |
2016-01-14 |
Ferruccio Guidi | ground_2: web page update |
blob | commitdiff | raw | diff to current |
2015-10-29 |
Ferruccio Guidi | - matita: computed auto traces now include the "width... |
blob | commitdiff | raw | diff to current |
2015-10-14 |
Ferruccio Guidi | colength and identity relocation |
blob | commitdiff | raw | diff to current |
2015-10-11 |
Ferruccio Guidi | ground_2 milestone: multiple relocation with lists... |
blob | commitdiff | raw | diff to current |
2015-07-14 |
Ferruccio Guidi | - subtraction (and related notions) removed |
blob | commitdiff | raw | diff to current |
2015-01-22 |
Ferruccio Guidi | informational page on ground_1 |
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-08-07 |
Ferruccio Guidi | - bugfixed "aacr" allows to remove historical eta-conve... |
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-02-22 |
Ferruccio Guidi | a wrong conjecture bypassed! |
blob | commitdiff | raw | diff to current |
2013-12-28 |
Ferruccio Guidi | some improvements and new lemmas for |
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-11-29 |
Ferruccio Guidi | addition for natural numbers with infinity |
blob | commitdiff | raw | diff to current |
2013-11-28 |
Ferruccio Guidi | definition of equivalence for local environments, |
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 |
|