]> matita.cs.unibo.it Git - helm.git/history - helm
λδ site update
[helm.git] / helm /
2020-12-07 Ferruccio Guidiλδ site update
2020-04-09 Ferruccio Guidiupdate in binararies for λδ
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-01-17 Ferruccio Guidiupdate in lambdadelta
2020-01-10 Ferruccio Guidiupdate in ground_2, static_2, basic_2
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
2019-12-06 Ferruccio Guidiλδ web site update
2019-12-02 Ferruccio Guidiupdated web site
2019-11-21 Ferruccio Guidiweb site update
2019-11-20 Ferruccio Guidiweb site update
2019-11-19 Ferruccio Guidiλδ-2B is released
2019-10-14 Ferruccio Guidibackport of WIP on \lambda\delta to matita 0.99.3
2019-10-01 Ferruccio GuidiMerge remote-tracking branch 'origin/matita-lablgtk3'
2019-09-29 Ferruccio GuidiMerge branch 'matita-lablgtk3' of ssh://matita.cs.unibo...
2019-09-27 Claudio Sacerdoti... Merge branch 'declarative' into matita-lablgtk3
2019-09-27 Ferruccio Guidipatches for compilation with ocaml 4.0.5
2019-09-18 Ferruccio Guidinew web site page
2019-01-08 Ferruccio Guidipatches for compilation with ocaml 4.0.5
2018-12-10 Ferruccio Guidiweb site update
2018-12-06 Ferruccio Guidiweb site update
2018-12-01 Ferruccio Guidiweb site update
2018-11-19 Ferruccio Guidisupplementary files for web site
2018-11-19 Ferruccio GuidiMerge branch 'master' of ssh://matita.cs.unibo.it:...
2018-11-19 Ferruccio Guidisome supplementary items for web site
2018-11-14 Ferruccio Guidipresentation upload
2018-11-08 Ferruccio Guidiupdate in basic_2 and in web site
2018-11-05 Ferruccio Guidiupdate in basic_2, static_2, web site
2018-08-01 Ferruccio Guidiparameter sintax added to axiom statement
2018-07-11 Ferruccio Guidiupdate in static_2 and app_2
2018-07-02 Ferruccio Guidisyntactic components detached from basic_2 become static_2
2018-05-07 Ferruccio Guidiupdate in apps_2
2018-04-20 Ferruccio Guidinotational update in ground_2 and basic_2
2018-04-16 Ferruccio Guidianniversary push
2018-03-12 Ferruccio Guidiupdate in basic_2
2018-03-02 Ferruccio Guidiupdate in ground_2 and basic_2
2018-01-30 Ferruccio Guidihelena: updated prolog exportation to ld3 and ALT-0/PTS
2018-01-13 Ferruccio Guidi\lambda\delta web site update for git
2018-01-09 Ferruccio Guidihelena: warning removed and modifications for λΥP expor...
2018-01-09 Ferruccio Guidiupdate in helena
2017-12-28 Claudio Sacerdoti... Horrible workaround
2017-12-28 Claudio Sacerdoti... .depend{.opt} files changed
2017-12-28 Claudio Sacerdoti... Patch to make it compile with recent OCaml
2017-12-28 Claudio Sacerdoti... patch to make it compile with recent OCaml versions
2017-12-28 Claudio Sacerdoti... strange bug-fix to allow compilation on recent ocaml...
2017-12-28 Claudio Sacerdoti... Stupid fix to avoid new camlp5 bug with int64 literals
2017-12-27 Claudio Sacerdoti... Patch to make it work with new versions of lablgtk2
2017-11-24 Ferruccio Guidiupdate in basic_2
2017-11-22 Ferruccio Guidiupdate in basic_2 and in the corresponding web page
2017-11-14 Ferruccio Guidinotational change in basic_2
2017-11-13 Ferruccio Guidiupdate in basic_2
2017-11-09 Ferruccio Guidiupdate in basic_2
2017-11-03 Ferruccio Guidiupdate in basic_2 ...
2017-11-02 Ferruccio Guidiupdate in basic_2
2017-10-26 Ferruccio Guidiupdated colors for summary tables in the web site
2017-10-25 Ferruccio Guidiupdate in basic_2
2017-10-25 Ferruccio Guidiupdate in basic_2 and apps_2
2017-10-25 Ferruccio Guidiupdate in basic_2
2017-10-23 Ferruccio Guidi- update in basic_2
2017-10-17 Ferruccio Guidiupdate in basic_2
2017-10-17 Ferruccio Guidipost milestone in basic_2
2017-10-16 Ferruccio Guidi- milestone in basic_2
2017-10-10 Ferruccio Guidiupdate in basic_2
2017-10-10 Ferruccio Guidi- web site update
2017-04-16 Ferruccio Guidimilestone in basic_2
2017-04-05 Ferruccio Guidiupdate in basic_2 ...
2017-04-01 Ferruccio Guidiupdate in basic_2
2017-03-16 Ferruccio Guidinilestone in basic_2 !
2017-03-16 Ferruccio Guidiupdate in basic_2
2017-03-11 Ferruccio Guidiupdate in basic_2
2017-03-09 Ferruccio Guidiupdate in basic_2
2017-03-08 Ferruccio Guidiupdate in basic_2
2017-03-06 Ferruccio Guidiupdate in basic_2 and apps_2
2017-03-05 Ferruccio Guidiupdate in basic_2
2017-03-02 Ferruccio Guidiupdate in basic_2
2017-02-19 Ferruccio Guidiupdate in basic_2
2017-02-19 Ferruccio Guidimilestone in basic_2
2017-02-19 Ferruccio Guidiupdate in basic_2
2017-02-16 Ferruccio Guidiupdate in basic_2 ...
2017-02-01 Ferruccio Guidiupdate in basic_2 ...
2017-01-26 Ferruccio Guidiupdate in basic_2 ...
2017-01-24 Ferruccio Guidiupdate in basic_2
2017-01-22 Ferruccio Guidiupdate in basic_2 ...
2017-01-21 Ferruccio Guidiupdate in basic_2 and ground_2 ...
2017-01-19 Ferruccio Guidiupdate in basic_2 ...
2017-01-18 Ferruccio Guidiupdate in basic_2 ...
2017-01-17 Ferruccio Guidimilestone in basic_2!
2017-01-16 Ferruccio Guidiupdate in ground_2 and basic_2 ...
2016-09-22 Ferruccio Guidiupdate in ground_2 and basic_2 ...
2016-09-15 Ferruccio Guidimilestone in basic_2!
2016-09-13 Ferruccio Guidiupdate in basic_2 ...
2016-09-05 Ferruccio Guidione more paper citing \lambda\delta
2016-07-26 Ferruccio Guidiupdate in ground_2 and basic_2
next