2020-01-08 |
Ferruccio Guidi | update in ground_2, static_2, basic_2, apps_2, alpha_1 |
tree | commitdiff |
2020-01-06 |
Ferruccio Guidi | update in ground_2 |
tree | commitdiff |
2020-01-06 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
tree | commitdiff |
2019-11-19 |
Ferruccio Guidi | λδ-2B is released |
tree | commitdiff |
2019-10-21 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2019-10-01 |
Ferruccio Guidi | Merge remote-tracking branch 'origin/matita-lablgtk3' |
tree | commitdiff |
2019-09-30 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
2019-09-29 |
Ferruccio Guidi | Merge branch 'matita-lablgtk3' of ssh://matita.cs.unibo... |
tree | commitdiff |
2019-09-27 |
Claudio Sacerdoti... | Merge branch 'declarative' into matita-lablgtk3 |
tree | commitdiff |
2019-06-15 |
Ferruccio Guidi | some restyling ... |
tree | commitdiff |
2019-04-05 |
Ferruccio Guidi | update in ground_2 static_2 basic_2 |
tree | commitdiff |
2018-11-08 |
Ferruccio Guidi | update in basic_2 and in web site |
tree | commitdiff |
2018-11-05 |
Ferruccio Guidi | update in basic_2, static_2, web site |
tree | commitdiff |
2018-09-01 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
2018-07-02 |
Ferruccio Guidi | syntactic components detached from basic_2 become static_2 |
tree | commitdiff |
2018-06-06 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
2018-05-08 |
Ferruccio Guidi | update in grond_2 and models |
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 | partial notational update in ground_2 and basic_2 .... |
tree | commitdiff |
2018-04-20 |
Ferruccio Guidi | notational update in ground_2 and basic_2 |
tree | commitdiff |
2018-04-16 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
2018-04-05 |
Ferruccio Guidi | bug fixed in xoa generator |
tree | commitdiff |
2017-11-20 |
Ferruccio Guidi | - ground_2: rtmap: disjointness relation |
tree | commitdiff |
2017-10-10 |
Ferruccio Guidi | - more results on relocation |
tree | commitdiff |
2017-09-10 |
Ferruccio Guidi | xoa notation refactoring and minor additions |
tree | commitdiff |
2016-10-03 |
Ferruccio Guidi | - basic_2 : restricted refinement for free variables... |
tree | commitdiff |
2016-07-01 |
Ferruccio Guidi | first definition of cpm: |
tree | commitdiff |
2016-06-25 |
Ferruccio Guidi | totality of co-composition ! |
tree | commitdiff |
2016-05-30 |
Ferruccio Guidi | some results on co-composition ... |
tree | commitdiff |
2016-05-25 |
Ferruccio Guidi | initial support for lfpx_drops ... |
tree | commitdiff |
2016-04-22 |
Ferruccio Guidi | - partial commit of rt_transition ... |
tree | commitdiff |
2016-04-18 |
Ferruccio Guidi | ground_2: generic rt-transition counter |
tree | commitdiff |
2016-04-16 |
Ferruccio Guidi | - former llpx_sn an lleq reactivated as lfxs and lfeq |
tree | commitdiff |
2016-03-31 |
Ferruccio Guidi | - uniform relocations |
tree | commitdiff |
2016-03-21 |
Ferruccio Guidi | rtmaps with finite colength |
tree | commitdiff |
2016-03-18 |
Ferruccio Guidi | advances in the theory of drops, lexs, and frees ... |
tree | commitdiff |
2016-03-10 |
Ferruccio Guidi | - ground_2: some additions |
tree | commitdiff |
2016-03-04 |
Ferruccio Guidi | rtmap (platform-indepent multple relocation): applicati... |
tree | commitdiff |
2016-03-02 |
Ferruccio Guidi | - second precommit for rtmap |
tree | commitdiff |
2016-02-23 |
Ferruccio Guidi | precommit for rtmap ... |
tree | commitdiff |
2016-01-29 |
Ferruccio Guidi | lift functions and identity map |
tree | commitdiff |
2016-01-13 |
Ferruccio Guidi | missing notation file |
tree | commitdiff |
2016-01-13 |
Ferruccio Guidi | - ng_kernel: catched Invalid_argument "List.nth" in... |
tree | commitdiff |
2015-10-29 |
Ferruccio Guidi | - matita: computed auto traces now include the "width... |
tree | commitdiff |
2015-10-14 |
Ferruccio Guidi | colength and identity relocation |
tree | commitdiff |
2015-10-11 |
Ferruccio Guidi | ground_2 milestone: multiple relocation with lists... |
tree | commitdiff |
2014-09-12 |
Ferruccio Guidi | bug fix in ththe notation for lists: |
tree | commitdiff |
2014-08-05 |
Ferruccio Guidi | - basic_2: reaxiomatized snv with improved cpds and... |
tree | commitdiff |
2014-01-16 |
Ferruccio Guidi | commit of the "relocation" component with the new defin... |
tree | commitdiff |
2013-12-01 |
Ferruccio Guidi | - improved arithmetics for natural numbers with infinity |
tree | commitdiff |
2013-11-26 |
Ferruccio Guidi | - natural numbers with infinity for lambdadelta |
tree | commitdiff |
2013-11-25 |
Ferruccio Guidi | - xoa: the definitions file now includes the notations... |
tree | commitdiff |
|