]> matita.cs.unibo.it Git - helm.git/shortlog
helm.git
2021-12-24 Ferruccio Guidiupdate in ground
2021-12-24 Ferruccio Guidiupdate in delayed updating
2021-12-20 Ferruccio Guidiupdate in ground
2021-12-18 Ferruccio GuidiMerge branch 'master' of ssh://matita.cs.unibo.it:...
2021-12-18 Ferruccio Guidiupdate in ground
2021-12-11 Ferruccio Guidiupdate in delayed_updating
2021-12-10 Ferruccio Guidiupdate in ground
2021-12-10 Ferruccio Guidiupdate in delayed updating
2021-12-06 Ferruccio Guidiupdate in delayed_updating
2021-12-04 Ferruccio Guidiupdate in ground
2021-12-02 Ferruccio Guidiupdate in ground
2021-12-02 Ferruccio Guidiupdate in ground
2021-11-30 Ferruccio Guidicontribution on delayed updating begins
2021-11-30 Ferruccio Guidiupdate in ground
2021-11-30 Ferruccio GuidiMerge branch 'master' of ssh://matita.cs.unibo.it:...
2021-11-30 Ferruccio Guidiλδ web site update
2021-10-29 Ferruccio Guidiupdate in ground static_2 basic_2 apps_2
2021-10-29 Ferruccio Guidiupdate in ground
2021-10-28 Ferruccio Guidipartial update in static_2
2021-10-18 Ferruccio Guidipartial update in static_2
2021-10-11 Ferruccio Guidipartial update in static_2
2021-10-05 Ferruccio Guidiupdate in ground
2021-10-05 Ferruccio Guidipartial commit in static_2
2021-10-05 Ferruccio Guidiupdate in ground
2021-10-04 Ferruccio Guidiupdate in ground
2021-10-04 Ferruccio Guidiupdate in ground
2021-09-30 Ferruccio Guidiupdate in ground
2021-06-29 Ferruccio Guidiupdate in ground and static_2
2021-06-17 Ferruccio Guidiupdate in alpha_1
2021-06-14 Ferruccio Guidiλδ site update
2021-05-29 Ferruccio Guidiupdate in ground
2021-05-29 Ferruccio Guidiλδ site update
2021-05-29 Ferruccio Guidiprobe
2021-05-29 Ferruccio GuidinCicLibrary
2021-05-29 Ferruccio Guidiupdate in ground
2021-05-28 Ferruccio Guidicic notation parser
2021-05-28 Ferruccio Guidimilestone update in ground
2021-03-18 Ferruccio Guidigrafite parser updated
2021-03-15 Ferruccio Guidipropagating the arithmetics library, partial commit
2021-02-28 Ferruccio Guidiupdate in ground
2021-02-28 Ferruccio Guidiupdate in ground
2021-02-28 Ferruccio Guidiupdate in gruound
2021-02-27 Ferruccio Guidiupdate in ground
2021-02-27 Ferruccio Guidiremoving old contribs
2021-02-26 Ferruccio Guidiremoving old contribs
2021-02-26 Ferruccio Guidipropagating the arithmetics library, partial commit
2021-02-24 Ferruccio Guidiupdate in bin
2021-02-17 Ferruccio Guidipropagating the arithmetics library, partial commit
2021-02-15 Ferruccio Guidimilestone update in ground, partial commit
2021-01-14 Ferruccio Guidiarithmetics for λδ
2021-01-08 Ferruccio Guidiarithmetics for λδ
2021-01-04 Ferruccio Guidiarithmetics for λδ
2021-01-01 Ferruccio Guidiarithmetics for λδ
2020-12-28 Ferruccio Guidiarithmetics for λδ
2020-12-22 Ferruccio Guidiarithmetics for λδ
2020-12-19 Ferruccio Guidiarithmetics for λδ
2020-12-09 Ferruccio Guidiλδ site update
2020-12-08 Ferruccio Guidiλδ-2B and λδ-ground repackaged for publication
2020-12-07 Ferruccio Guidiλδ web site update
2020-12-07 Ferruccio Guidiλδ site update
2020-10-15 Ferruccio Guidiupdate in static_2
2020-09-27 Ferruccio Guidiupdate in basic_2
2020-09-25 Ferruccio Guidiminor additions to standard library
2020-09-25 Ferruccio Guidimilestone update in basic_2
2020-07-18 Ferruccio Guidiupdate in static_2
2020-04-30 Ferruccio Guididecentralized notation in lambda
2020-04-24 Ferruccio Guidiupdate in staic_2 and basic_2
2020-04-21 Ferruccio Guidiupdate in basic_2
2020-04-18 Ferruccio Guidimilestone update in basic_2, update in ground and static_2
2020-04-09 Ferruccio Guidiupdate in binararies for λδ
2020-04-09 Ferruccio Guidirenaming in basics/relations
2020-03-05 Ferruccio Guidiupdate in standard library
2020-02-27 Ferruccio Guidiground_2 released and permanently renamed as ground
2020-02-27 Ferruccio Guidimilestone update in ground_2 and basic_2A
2020-02-17 Ferruccio Guidiupdate in binaries for λδ
2020-02-11 Ferruccio Guidiupdate in binaries for λδ
2020-02-10 Ferruccio Guidiupdate in binaries for λδ
2020-02-08 Ferruccio Guidiupdate in binaries for λδ
2020-02-07 Ferruccio Guidiupdate in binaries for λδ
2020-02-06 Ferruccio Guidiupdate in binaries for λδ
2020-02-03 Ferruccio Guidiupdate in binaries for λδ
2020-01-31 Ferruccio Guidiupdate in binaries for λδ
2020-01-30 Ferruccio Guidiupdate in binaries for λδ
2020-01-30 Ferruccio Guidiupdate in binaries for λδ
2020-01-29 Ferruccio Guidiupdate in binaries for λδ
2020-01-25 Ferruccio Guidiupdate in basic_2 + new tool "roles"
2020-01-18 Ferruccio Guidiupdate in lambdadelta
2020-01-17 Ferruccio Guidiupdate in lambdadelta
2020-01-15 Ferruccio Guidiupdate in basic_2
2020-01-14 Ferruccio Guidiupdate in basic_2 and apps_2
2020-01-10 Ferruccio Guidiupdate in ground_2, static_2, basic_2
2020-01-08 Ferruccio Guidiupdate in ground_2, static_2, basic_2, apps_2, alpha_1
2020-01-06 Ferruccio Guidiupdate in ground_2
2020-01-06 Ferruccio Guidiupdate in ground_2, static_2, basic_2
2019-12-20 Ferruccio Guidiweb site update
2019-12-19 Ferruccio Guidiupdated web site
2019-12-14 Ferruccio Guidiweb site update
2019-12-11 Ferruccio Guidiweb site update
2019-12-09 Ferruccio Guidimechanizing the generation of index files for λδ web...
2019-12-09 Ferruccio Guidigrundlagen web pages updated
next