2018-11-08 |
Ferruccio Guidi | update in basic_2 and in web site |
tree | commitdiff |
2018-11-06 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-11-05 |
Ferruccio Guidi | update in basic_2, static_2, web site |
tree | commitdiff |
2018-11-02 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-11-01 |
Ferruccio Guidi | milestone uupdate in basic_2 |
tree | commitdiff |
2018-10-27 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-10-01 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-09-29 |
Ferruccio Guidi | update in basic_2 and apps_2 |
tree | commitdiff |
2018-09-27 |
Ferruccio Guidi | update in basic_2 and static_2 |
tree | commitdiff |
2018-09-21 |
Ferruccio Guidi | milestone in basic_2, λδ-2A reconstructed |
tree | commitdiff |
2018-09-19 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
tree | commitdiff |
2018-09-18 |
Ferruccio Guidi | update in static_2 and basic_2 |
tree | commitdiff |
2018-09-12 |
Ferruccio Guidi | update in ground_2, static_2, basic_2 |
tree | commitdiff |
2018-09-08 |
Ferruccio Guidi | update in static_2 and basic_2 |
tree | commitdiff |
2018-09-01 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
2018-08-18 |
Ferruccio Guidi | severe bug found in parallel zeta |
tree | commitdiff |
2018-08-14 |
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-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-27 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-07-26 |
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-25 |
Ferruccio Guidi | renaming in basic_2 |
tree | commitdiff |
2018-06-12 |
Ferruccio Guidi | renaming in basic_2 |
tree | commitdiff |
2018-06-11 |
Ferruccio Guidi | Merge branch 'master' of ssh://matita.cs.unibo.it:... |
tree | commitdiff |
2018-06-11 |
Ferruccio Guidi | bug fix in basic_2 |
tree | commitdiff |
2018-06-11 |
Ferruccio Guidi | bug fix in basic_2 |
tree | commitdiff |
2018-06-11 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-06-09 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-06-08 |
Ferruccio Guidi | milestone update in basic_2 |
tree | commitdiff |
2018-06-07 |
Ferruccio Guidi | update in basic_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-29 |
Ferruccio Guidi | commit completed in basic_2 |
tree | commitdiff |
2018-05-29 |
Ferruccio Guidi | partial commit in basic_2 |
tree | commitdiff |
2018-05-25 |
Ferruccio Guidi | partial update update in basic_2 |
tree | commitdiff |
2018-05-23 |
Ferruccio Guidi | update in ground_2 and basic_2 (partial commit) |
tree | commitdiff |
2018-05-14 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-05-12 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
2018-05-12 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-05-11 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-05-11 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-05-11 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-05-09 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-05-04 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
2018-05-01 |
Ferruccio Guidi | partial notational update in ground_2 and basic_2 .... |
tree | commitdiff |
2018-04-27 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-04-25 |
Ferruccio Guidi | update in ground_2 and basic_2 |
tree | commitdiff |
2018-04-16 |
Ferruccio Guidi | update in basic_2 and ground_2 |
tree | commitdiff |
2018-03-28 |
Ferruccio Guidi | milestone update in basic_2 |
tree | commitdiff |
2018-03-27 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-03-21 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-03-20 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-03-19 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-03-17 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-03-16 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-03-14 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-03-13 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-03-12 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-03-10 |
Ferruccio Guidi | bugfix update in basic_2 |
tree | commitdiff |
2018-03-09 |
Ferruccio Guidi | update in basic_2 + web page |
tree | commitdiff |
2018-03-08 |
Ferruccio Guidi | long awaited update in basic_2 |
tree | commitdiff |
2018-03-08 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-03-06 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-03-05 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-03-04 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2018-02-15 |
Ferruccio Guidi | integrating the framework with fle ... |
tree | commitdiff |
2018-02-10 |
Ferruccio Guidi | two cases of cpx_lfxs_conf_fle closed |
tree | commitdiff |
2018-01-17 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
2017-12-04 |
Ferruccio Guidi | - work in progress proceeds for the new definition... |
tree | commitdiff |
2017-11-30 |
Ferruccio Guidi | the previous commit was incomplete :( |
tree | commitdiff |
2017-11-27 |
Ferruccio Guidi | - free variables innclusion (fle) encapsulates some... |
tree | commitdiff |
2017-11-24 |
Ferruccio Guidi | - equivalence between lfpxs and lpxs + lfeq proved |
tree | commitdiff |
2017-11-24 |
Ferruccio Guidi | - lpx and lpxs restored to prove equivalene between... |
tree | commitdiff |
2017-11-22 |
Ferruccio Guidi | - equivalene of tc_lfxs and lex + lfeq proved |
tree | commitdiff |
2017-11-20 |
Ferruccio Guidi | - ground_2: rtmap: disjointness relation |
tree | commitdiff |
2017-11-17 |
Ferruccio Guidi | - dependences on ceq and ceq_ext fixed |
tree | commitdiff |
2017-11-17 |
Ferruccio Guidi | former commit completed: one file was missing :( |
tree | commitdiff |
2017-11-17 |
Ferruccio Guidi | - ext2_tc added |
tree | commitdiff |
2017-11-14 |
Ferruccio Guidi | - notation change for tdeq and related notions |
tree | commitdiff |
2017-11-13 |
Ferruccio Guidi | - lsubsx (replacement of lcosx) completed |
tree | commitdiff |
2017-11-09 |
Ferruccio Guidi | lfsx_drops completed |
tree | commitdiff |
2017-11-03 |
Ferruccio Guidi | - exclusion binder in local environments allows to... |
tree | commitdiff |
2017-11-02 |
Ferruccio Guidi | - exclusion binder in local environments |
tree | commitdiff |
2017-10-26 |
Ferruccio Guidi | - cpxs completed |
tree | commitdiff |
2017-10-25 |
Ferruccio Guidi | - exclusion binder in local environments |
tree | commitdiff |
2017-10-25 |
Ferruccio Guidi | - exclusion binder in local environments |
tree | commitdiff |
2017-10-25 |
Ferruccio Guidi | - exclusion binder in local environments |
tree | commitdiff |
2017-10-23 |
Ferruccio Guidi | - exclusion binder in local environments: |
tree | commitdiff |
2017-10-17 |
Ferruccio Guidi | - exclusion binder in local environments |
tree | commitdiff |
2017-10-17 |
Ferruccio Guidi | - exclusion binder in local environments |
tree | commitdiff |
2017-10-16 |
Ferruccio Guidi | - exclusion binder added in local environments |
tree | commitdiff |
2017-05-25 |
Ferruccio Guidi | extension of a relation to binders |
tree | commitdiff |
2017-04-28 |
Ferruccio Guidi | one file was missing :( |
tree | commitdiff |
2017-04-24 |
Ferruccio Guidi | some improvements before setting up the exclusion binder |
tree | commitdiff |
2017-04-17 |
Ferruccio Guidi | - advances on lfpxs ... |
tree | commitdiff |
2017-04-16 |
Ferruccio Guidi | - strong normalization for rt-comutation |
tree | commitdiff |
2017-04-14 |
Ferruccio Guidi | - lfpxs based on tc_lfxs |
tree | commitdiff |
2017-04-05 |
Ferruccio Guidi | - first prroperties on lfsx proved |
tree | commitdiff |
next |