| 2020-12-09 |
Ferruccio Guidi | λδ site update
|
commit | commitdiff | tree |
| 2020-12-07 |
Ferruccio Guidi | λδ site update
|
commit | commitdiff | tree |
| 2020-03-05 |
Ferruccio Guidi | update in standard library
|
commit | commitdiff | tree |
| 2020-02-27 |
Ferruccio Guidi | milestone update in ground_2 and basic_2A
|
commit | commitdiff | tree |
| 2020-02-11 |
Ferruccio Guidi | update in binaries for λδ
|
commit | commitdiff | tree |
| 2020-02-07 |
Ferruccio Guidi | update in binaries for λδ
|
commit | commitdiff | tree |
| 2020-02-06 |
Ferruccio Guidi | update in binaries for λδ
|
commit | commitdiff | tree |
| 2020-01-31 |
Ferruccio Guidi | update in binaries for λδ
|
commit | commitdiff | tree |
| 2020-01-30 |
Ferruccio Guidi | update in binaries for λδ
|
commit | commitdiff | tree |
| 2020-01-30 |
Ferruccio Guidi | update in binaries for λδ
|
commit | commitdiff | tree |
| 2020-01-29 |
Ferruccio Guidi | update in binaries for λδ
|
commit | commitdiff | tree |
| 2020-01-25 |
Ferruccio Guidi | update in basic_2 + new tool "roles"
|
commit | commitdiff | tree |
| 2020-01-17 |
Ferruccio Guidi | update in lambdadelta
|
commit | commitdiff | tree |
| 2020-01-15 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2020-01-14 |
Ferruccio Guidi | update in basic_2 and apps_2
|
commit | commitdiff | tree |
| 2020-01-10 |
Ferruccio Guidi | update in ground_2, static_2, basic_2
|
commit | commitdiff | tree |
| 2020-01-08 |
Ferruccio Guidi | update in ground_2, static_2, basic_2, apps_2, alpha_1
|
commit | commitdiff | tree |
| 2019-12-19 |
Ferruccio Guidi | updated web site
|
commit | commitdiff | tree |
| 2019-12-14 |
Ferruccio Guidi | web site update
|
commit | commitdiff | tree |
| 2019-12-11 |
Ferruccio Guidi | web site update
|
commit | commitdiff | tree |
| 2019-12-06 |
Ferruccio Guidi | λδ web site update
|
commit | commitdiff | tree |
| 2019-11-21 |
Ferruccio Guidi | web site update
|
commit | commitdiff | tree |
| 2019-11-20 |
Ferruccio Guidi | web site update
|
commit | commitdiff | tree |
| 2019-11-19 |
Ferruccio Guidi | λδ-2B is released
|
commit | commitdiff | tree |
| 2019-11-15 |
Ferruccio Guidi | update in static_2 and basic_2 for the article
|
commit | commitdiff | tree |
| 2019-11-09 |
Ferruccio Guidi | updated probe and matitadep
|
commit | commitdiff | tree |
| 2019-10-25 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2019-10-17 |
Ferruccio Guidi | update in basuc_2
|
commit | commitdiff | tree |
| 2019-10-03 |
Ferruccio Guidi | update in ground_2 and basic_2
|
commit | commitdiff | tree |
| 2019-10-01 |
Ferruccio Guidi | Merge remote-tracking branch 'origin/matita-lablgtk3'
|
commit | commitdiff | tree |
| 2019-09-29 |
Ferruccio Guidi | matita gtk3: some bugs fixed
|
commit | commitdiff | tree |
| 2019-09-29 |
Ferruccio Guidi | Merge branch 'matita-lablgtk3' of ssh://matita.cs.unibo...
|
commit | commitdiff | tree |
| 2019-09-03 |
Ferruccio Guidi | milestone in basic_2
|
commit | commitdiff | tree |
| 2019-07-26 |
Ferruccio Guidi | still more additions and corrections for the article
|
commit | commitdiff | tree |
| 2019-07-20 |
Ferruccio Guidi | more additions and corrections for the article
|
commit | commitdiff | tree |
| 2019-06-15 |
Ferruccio Guidi | updating the structures for sorts
|
commit | commitdiff | tree |
| 2019-06-15 |
Ferruccio Guidi | some restyling ...
|
commit | commitdiff | tree |
| 2019-05-30 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2019-05-29 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2019-05-16 |
Ferruccio Guidi | decentralizing core notation continues ...
|
commit | commitdiff | tree |
| 2019-04-17 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2019-04-16 |
Ferruccio Guidi | milestone in basic_2 with additions in static_2
|
commit | commitdiff | tree |
| 2019-04-05 |
Ferruccio Guidi | update in ground_2 static_2 basic_2
|
commit | commitdiff | tree |
| 2019-03-25 |
Ferruccio Guidi | milestone in basic_2
|
commit | commitdiff | tree |
| 2019-03-20 |
Ferruccio Guidi | update in ground_2 static_2 basic_2
|
commit | commitdiff | tree |
| 2019-01-08 |
Ferruccio Guidi | patches for compilation with ocaml 4.0.5
|
commit | commitdiff | tree |
| 2018-12-20 |
Ferruccio Guidi | xoa utility updated
|
commit | commitdiff | tree |
| 2018-12-06 |
Ferruccio Guidi | web site update
|
commit | commitdiff | tree |
| 2018-12-01 |
Ferruccio Guidi | web site update
|
commit | commitdiff | tree |
| 2018-11-14 |
Ferruccio Guidi | presentation upload
|
commit | commitdiff | tree |
| 2018-11-08 |
Ferruccio Guidi | update in basic_2 and in web site
|
commit | commitdiff | tree |
| 2018-11-01 |
Ferruccio Guidi | milestone uupdate in basic_2
|
commit | commitdiff | tree |
| 2018-10-27 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-09-27 |
Ferruccio Guidi | update in basic_2 and static_2
|
commit | commitdiff | tree |
| 2018-09-21 |
Ferruccio Guidi | milestone in basic_2, λδ-2A reconstructed
|
commit | commitdiff | tree |
| 2018-09-19 |
Ferruccio Guidi | update in ground_2, static_2, basic_2
|
commit | commitdiff | tree |
| 2018-09-18 |
Ferruccio Guidi | update in static_2 and basic_2
|
commit | commitdiff | tree |
| 2018-09-12 |
Ferruccio Guidi | update in ground_2, static_2, basic_2
|
commit | commitdiff | tree |
| 2018-07-26 |
Ferruccio Guidi | update in basic_2 and ground_2
|
commit | commitdiff | tree |
| 2018-07-21 |
Ferruccio Guidi | update in apps_2
|
commit | commitdiff | tree |
| 2018-07-19 |
Ferruccio Guidi | update in functional
|
commit | commitdiff | tree |
| 2018-07-19 |
Ferruccio Guidi | update in ground_2
|
commit | commitdiff | tree |
| 2018-07-14 |
Ferruccio Guidi | updated xoa and predefined virtuals
|
commit | commitdiff | tree |
| 2018-07-13 |
Ferruccio Guidi | update in static_2 and app_2
|
commit | commitdiff | tree |
| 2018-07-11 |
Ferruccio Guidi | update in static_2 and app_2
|
commit | commitdiff | tree |
| 2018-06-12 |
Ferruccio Guidi | renaming in basic_2
|
commit | commitdiff | tree |
| 2018-06-07 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-06-06 |
Ferruccio Guidi | update in ground_2 and basic_2
|
commit | commitdiff | tree |
| 2018-05-30 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-05-29 |
Ferruccio Guidi | commit completed in basic_2
|
commit | commitdiff | tree |
| 2018-05-29 |
Ferruccio Guidi | partial commit in basic_2
|
commit | commitdiff | tree |
| 2018-05-25 |
Ferruccio Guidi | partial update update in basic_2
|
commit | commitdiff | tree |
| 2018-05-23 |
Ferruccio Guidi | update in ground_2 and basic_2 (partial commit)
|
commit | commitdiff | tree |
| 2018-05-10 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-05-10 |
Ferruccio Guidi | update in ground_2
|
commit | commitdiff | tree |
| 2018-05-09 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-05-09 |
Ferruccio Guidi | update in groud_2 and models
|
commit | commitdiff | tree |
| 2018-05-08 |
Ferruccio Guidi | update in grond_2 and models
|
commit | commitdiff | tree |
| 2018-05-04 |
Ferruccio Guidi | update in ground_2 and basic_2
|
commit | commitdiff | tree |
| 2018-05-03 |
Ferruccio Guidi | update in ground_2 and models
|
commit | commitdiff | tree |
| 2018-05-03 |
Ferruccio Guidi | notational update in lambdadelta completed
|
commit | commitdiff | tree |
| 2018-04-27 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-04-25 |
Ferruccio Guidi | update in ground_2 and basic_2
|
commit | commitdiff | tree |
| 2018-04-16 |
Ferruccio Guidi | anniversary push
|
commit | commitdiff | tree |
| 2018-04-05 |
Ferruccio Guidi | bug fixed in xoa generator
|
commit | commitdiff | tree |
| 2018-03-29 |
Ferruccio Guidi | decentralizing core notation
|
commit | commitdiff | tree |
| 2018-03-28 |
Ferruccio Guidi | milestone update in basic_2
|
commit | commitdiff | tree |
| 2018-03-28 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-03-27 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-03-21 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-03-20 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-03-16 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-03-14 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-03-13 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| 2018-03-02 |
Ferruccio Guidi | update in ground_2 and basic_2
|
commit | commitdiff | tree |
| 2018-02-16 |
Ferruccio Guidi | lref case closed in cpx_lfxs_conf_fle
|
commit | commitdiff | tree |
| 2018-02-15 |
Ferruccio Guidi | integrating the framework with fle ...
|
commit | commitdiff | tree |
| 2018-02-02 |
Ferruccio Guidi | xoa updated
|
commit | commitdiff | tree |
| 2018-01-30 |
Ferruccio Guidi | helena: updated prolog exportation to ld3 and ALT-0/PTS
|
commit | commitdiff | tree |
| 2018-01-17 |
Ferruccio Guidi | update in basic_2
|
commit | commitdiff | tree |
| next |
projects / helm.git / search