| 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 |
| 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-11-18 |
Ferruccio Guidi | update for the article |
tree | commitdiff |
| 2019-10-21 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2019-10-14 |
Ferruccio Guidi | backport of WIP on \lambda\delta to matita 0.99.3 |
tree | commitdiff |
| 2019-10-03 |
Ferruccio Guidi | update in ground_2 and 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-28 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2019-09-27 |
Claudio Sacerdoti... | Merge branch 'declarative' into matita-lablgtk3 |
tree | commitdiff |
| 2019-08-23 |
Ferruccio Guidi | update in ground_2 static_2 basic_2 |
tree | commitdiff |
| 2019-08-19 |
Ferruccio Guidi | still 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-04-05 |
Ferruccio Guidi | update in ground_2 static_2 basic_2 |
tree | commitdiff |
| 2019-03-20 |
Ferruccio Guidi | update in ground_2 static_2 basic_2 |
tree | commitdiff |
| 2019-02-04 |
Ferruccio Guidi | minor corrections and updates |
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-19 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
tree | commitdiff |
| 2018-09-12 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
tree | commitdiff |
| 2018-09-01 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
| 2018-08-07 |
Ferruccio Guidi | commit in ground_2, static_2, basic_2, apps_2 |
tree | commitdiff |
| 2018-08-01 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
| 2018-07-28 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
| 2018-07-26 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
| 2018-07-19 |
Ferruccio Guidi | update in 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-06-04 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
| 2018-05-23 |
Ferruccio Guidi | update in ground_2 and basic_2 (partial commit) |
tree | commitdiff |
| 2018-05-12 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
| 2018-05-10 |
Ferruccio Guidi | update in ground_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-05 |
Ferruccio Guidi | update in basic_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 | partial notational update in ground_2 and basic_2 .... |
tree | commitdiff |
| 2018-05-01 |
Ferruccio Guidi | update in models and ground_2 |
tree | commitdiff |
| 2018-04-25 |
Ferruccio Guidi | 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 |
| 2018-03-02 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
| 2018-01-13 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
| 2018-01-06 |
Ferruccio Guidi | update in ground_2 + \lambda\delta-related ignores |
tree | commitdiff |
| 2017-12-04 |
Ferruccio Guidi | - work in progress proceeds for the new definition... |
tree | commitdiff |
| 2017-11-20 |
Ferruccio Guidi | - ground_2: rtmap: disjointness relation |
tree | commitdiff |
| 2017-10-21 |
Ferruccio Guidi | - one conjecture closed on lsubf |
tree | commitdiff |
| 2017-10-16 |
Ferruccio Guidi | - exclusion binder added in local environments |
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 |
| 2017-04-28 |
Ferruccio Guidi | refactoring completed |
tree | commitdiff |
| 2017-04-27 |
Ferruccio Guidi | refactoring ... |
tree | commitdiff |
| 2017-02-16 |
Ferruccio Guidi | - cprs and cnx on the way |
tree | commitdiff |
| 2017-01-21 |
Ferruccio Guidi | - improved fqu allows to prove fqu_cpx_trans and its... |
tree | commitdiff |
| 2017-01-17 |
Ferruccio Guidi | previous lemma proved ... |
tree | commitdiff |
| 2017-01-17 |
Ferruccio Guidi | improved lsubf allowes to prove lsubf_frees_trans. |
tree | commitdiff |
| 2017-01-16 |
Ferruccio Guidi | advances towards confluence of reduction in local envir... |
tree | commitdiff |
| 2016-10-03 |
Ferruccio Guidi | - basic_2 : restricted refinement for free variables... |
tree | commitdiff |
| 2016-09-29 |
Ferruccio Guidi | more on lfpx_frees.ma ... |
tree | commitdiff |
| 2016-09-26 |
Ferruccio Guidi | - reconstruction of lfpx_frees.ma begins ... |
tree | commitdiff |
| 2016-09-23 |
Ferruccio Guidi | improved lexs_conf, now holds under weaker hypotheses ... |
tree | commitdiff |
| 2016-09-22 |
Ferruccio Guidi | basic_2: stronger supclosure allows better inversion... |
tree | commitdiff |
| 2016-07-26 |
Ferruccio Guidi | bug fix in the context reduction rule for cast (cpm) |
tree | commitdiff |
| 2016-07-25 |
Ferruccio Guidi | we count rt parallel steps in a different way: |
tree | commitdiff |
| 2016-07-04 |
Ferruccio Guidi | basic properties of cpr ... |
tree | commitdiff |
| 2016-07-01 |
Ferruccio Guidi | first definition of cpm: |
tree | commitdiff |
| 2016-06-27 |
Ferruccio Guidi | lfpx_drops completed! |
tree | commitdiff |
| 2016-06-25 |
Ferruccio Guidi | totality of co-composition ! |
tree | commitdiff |
| 2016-06-20 |
Ferruccio Guidi | updating the dropable-related definitions with coafter ... |
tree | commitdiff |
| 2016-06-09 |
Ferruccio Guidi | frees_drops completed! |
tree | commitdiff |
| 2016-06-06 |
Ferruccio Guidi | work in progress on frees_drops |
tree | commitdiff |
| 2016-05-31 |
Ferruccio Guidi | frees_drops, initial versrion |
tree | commitdiff |
| 2016-05-30 |
Ferruccio Guidi | some results on co-composition ... |
tree | commitdiff |
| 2016-05-29 |
Ferruccio Guidi | more results on sor ... |
tree | commitdiff |
| 2016-05-25 |
Ferruccio Guidi | initial support for lfpx_drops ... |
tree | commitdiff |
| 2016-05-18 |
Ferruccio Guidi | - ground_2: support for lifts_div4 |
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-04-11 |
Ferruccio Guidi | - advances on drops |
tree | commitdiff |
| 2016-04-08 |
Ferruccio Guidi | - commit of the "s_computation" component ... |
tree | commitdiff |
| 2016-04-01 |
Ferruccio Guidi | - new component "s_transition" for the restored fqu... |
tree | commitdiff |
| 2016-03-31 |
Ferruccio Guidi | - uniform relocations |
tree | commitdiff |
| 2016-03-23 |
Ferruccio Guidi | - ng_kernel: we print the offending term when guarded_b... |
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-13 |
Ferruccio Guidi | - new syntax for let rec/corec with flavor specifier... |
tree | commitdiff |
| 2016-03-10 |
Ferruccio Guidi | - ground_2: some additions |
tree | commitdiff |
| 2016-03-07 |
Ferruccio Guidi | more results on after ... |
tree | commitdiff |
| 2016-03-04 |
Ferruccio Guidi | small improvements and corrections ... |
tree | commitdiff |
| 2016-03-04 |
Ferruccio Guidi | commitcompleted: some files were missing :( |
tree | commitdiff |
| 2016-03-04 |
Ferruccio Guidi | rtmap (platform-indepent multple relocation): applicati... |
tree | commitdiff |
| next |
projects / helm.git / history