| 2022-01-22 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2022-01-22 |
Ferruccio Guidi | update in delayed_updating |
tree | commitdiff |
| 2022-01-20 |
Ferruccio Guidi | update in delayed_updating |
tree | commitdiff |
| 2022-01-20 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2022-01-18 |
Ferruccio Guidi | update in delayed_updating |
tree | commitdiff |
| 2022-01-18 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2022-01-10 |
Ferruccio Guidi | update in delayed_updating |
tree | commitdiff |
| 2022-01-10 |
Ferruccio Guidi | update in delayed updating |
tree | commitdiff |
| 2022-01-08 |
Ferruccio Guidi | update in ground and delayed updating |
tree | commitdiff |
| 2022-01-04 |
Ferruccio Guidi | update in delayed_updating |
tree | commitdiff |
| 2022-01-04 |
Ferruccio Guidi | update in delayed_updating |
tree | commitdiff |
| 2022-01-02 |
Ferruccio Guidi | update in delayed updating |
tree | commitdiff |
| 2021-12-30 |
Ferruccio Guidi | update in ground, static_2 and apps_2 |
tree | commitdiff |
| 2021-12-27 |
Ferruccio Guidi | update in delayed_updating |
tree | commitdiff |
| 2021-12-25 |
Ferruccio Guidi | update in ground, basic_2A and apps_2 |
tree | commitdiff |
| 2021-12-24 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-12-24 |
Ferruccio Guidi | update in delayed updating |
tree | commitdiff |
| 2021-12-20 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-12-18 |
Ferruccio Guidi | Merge branch 'master' of ssh://matita.cs.unibo.it:... |
tree | commitdiff |
| 2021-12-18 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-12-11 |
Ferruccio Guidi | update in delayed_updating |
tree | commitdiff |
| 2021-12-10 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-12-10 |
Ferruccio Guidi | update in delayed updating |
tree | commitdiff |
| 2021-12-06 |
Ferruccio Guidi | update in delayed_updating |
tree | commitdiff |
| 2021-12-04 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-12-02 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-12-02 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-11-30 |
Ferruccio Guidi | contribution on delayed updating begins |
tree | commitdiff |
| 2021-11-30 |
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-10-29 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-10-28 |
Ferruccio Guidi | partial update in static_2 |
tree | commitdiff |
| 2021-10-18 |
Ferruccio Guidi | partial update in static_2 |
tree | commitdiff |
| 2021-10-11 |
Ferruccio Guidi | partial update in static_2 |
tree | commitdiff |
| 2021-10-05 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-10-05 |
Ferruccio Guidi | partial commit in static_2 |
tree | commitdiff |
| 2021-10-05 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-10-04 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-10-04 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-09-30 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-06-29 |
Ferruccio Guidi | update in ground and static_2 |
tree | commitdiff |
| 2021-06-17 |
Ferruccio Guidi | update in alpha_1 |
tree | commitdiff |
| 2021-06-14 |
Ferruccio Guidi | λδ site update |
tree | commitdiff |
| 2021-05-29 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-05-29 |
Ferruccio Guidi | λδ site update |
tree | commitdiff |
| 2021-05-29 |
Ferruccio Guidi | probe |
tree | commitdiff |
| 2021-05-29 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-05-28 |
Ferruccio Guidi | milestone update in ground |
tree | commitdiff |
| 2021-03-15 |
Ferruccio Guidi | propagating the arithmetics library, partial commit |
tree | commitdiff |
| 2021-02-28 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-02-28 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-02-28 |
Ferruccio Guidi | update in gruound |
tree | commitdiff |
| 2021-02-27 |
Ferruccio Guidi | update in ground |
tree | commitdiff |
| 2021-02-26 |
Ferruccio Guidi | propagating the arithmetics library, partial commit |
tree | commitdiff |
| 2021-02-24 |
Ferruccio Guidi | update in bin |
tree | commitdiff |
| 2021-02-17 |
Ferruccio Guidi | propagating the arithmetics library, partial commit |
tree | commitdiff |
| 2021-02-15 |
Ferruccio Guidi | milestone update in ground, partial commit |
tree | commitdiff |
| 2021-01-14 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
| 2021-01-08 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
| 2021-01-04 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
| 2021-01-01 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
| 2020-12-28 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
| 2020-12-22 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
| 2020-12-19 |
Ferruccio Guidi | arithmetics for λδ |
tree | commitdiff |
| 2020-12-09 |
Ferruccio Guidi | λδ site update |
tree | commitdiff |
| 2020-12-08 |
Ferruccio Guidi | λδ-2B and λδ-ground repackaged for publication |
tree | commitdiff |
| 2020-12-07 |
Ferruccio Guidi | λδ site update |
tree | commitdiff |
| 2020-10-15 |
Ferruccio Guidi | update in static_2 |
tree | commitdiff |
| 2020-09-27 |
Ferruccio Guidi | update in basic_2 |
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-21 |
Ferruccio Guidi | update in basic_2 |
tree | commitdiff |
| 2020-04-18 |
Ferruccio Guidi | milestone update in basic_2, update in ground and static_2 |
tree | commitdiff |
| 2020-04-09 |
Ferruccio Guidi | update in binararies for λδ |
tree | commitdiff |
| 2020-02-27 |
Ferruccio Guidi | ground_2 released and permanently renamed as ground |
tree | commitdiff |
| 2020-02-27 |
Ferruccio Guidi | milestone update in ground_2 and basic_2A |
tree | commitdiff |
| 2020-02-17 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
| 2020-02-11 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
| 2020-02-10 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
| 2020-02-08 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
| 2020-02-07 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
| 2020-02-06 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
| 2020-02-03 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
| 2020-01-31 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
| 2020-01-30 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
| 2020-01-30 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
| 2020-01-29 |
Ferruccio Guidi | update in binaries for λδ |
tree | commitdiff |
| 2020-01-25 |
Ferruccio Guidi | update in basic_2 + new tool "roles" |
tree | commitdiff |
| 2020-01-18 |
Ferruccio Guidi | update in lambdadelta |
tree | commitdiff |
| 2020-01-17 |
Ferruccio Guidi | update in lambdadelta |
tree | commitdiff |
| 2020-01-15 |
Ferruccio Guidi | update in basic_2 |
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 |
| 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-12-20 |
Ferruccio Guidi | web site update |
tree | commitdiff |
| 2019-12-19 |
Ferruccio Guidi | updated web site |
tree | commitdiff |
| next |
projects / helm.git / history