]> matita.cs.unibo.it Git - helm.git/history - helm
projects / helm.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Update online helper entries
[helm.git] / helm /
2019-10-01 Ferruccio GuidiMerge remote-tracking branch 'origin/matita-lablgtk3' tree | commitdiff
2019-09-29 Ferruccio GuidiMerge branch 'matita-lablgtk3' of ssh://matita.cs.unibo... tree | commitdiff
2019-09-27 Claudio Sacerdoti... Merge branch 'declarative' into matita-lablgtk3 tree | commitdiff
2019-09-27 Ferruccio Guidipatches for compilation with ocaml 4.0.5 tree | commitdiff
2019-09-18 Ferruccio Guidinew web site page tree | commitdiff
2019-01-08 Ferruccio Guidipatches for compilation with ocaml 4.0.5 tree | commitdiff
2018-12-10 Ferruccio Guidiweb site update tree | commitdiff
2018-12-06 Ferruccio Guidiweb site update tree | commitdiff
2018-12-01 Ferruccio Guidiweb site update tree | commitdiff
2018-11-19 Ferruccio Guidisupplementary files for web site tree | commitdiff
2018-11-19 Ferruccio GuidiMerge branch 'master' of ssh://matita.cs.unibo.it:... tree | commitdiff
2018-11-19 Ferruccio Guidisome supplementary items for web site tree | commitdiff
2018-11-14 Ferruccio Guidipresentation upload tree | commitdiff
2018-11-08 Ferruccio Guidiupdate in basic_2 and in web site tree | commitdiff
2018-11-05 Ferruccio Guidiupdate in basic_2, static_2, web site tree | commitdiff
2018-08-01 Ferruccio Guidiparameter sintax added to axiom statement tree | commitdiff
2018-07-11 Ferruccio Guidiupdate in static_2 and app_2 tree | commitdiff
2018-07-02 Ferruccio Guidisyntactic components detached from basic_2 become static_2 tree | commitdiff
2018-05-07 Ferruccio Guidiupdate in apps_2 tree | commitdiff
2018-04-20 Ferruccio Guidinotational update in ground_2 and basic_2 tree | commitdiff
2018-04-16 Ferruccio Guidianniversary push tree | commitdiff
2018-03-12 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2018-03-02 Ferruccio Guidiupdate in ground_2 and basic_2 tree | commitdiff
2018-01-30 Ferruccio Guidihelena: updated prolog exportation to ld3 and ALT-0/PTS tree | commitdiff
2018-01-13 Ferruccio Guidi\lambda\delta web site update for git tree | commitdiff
2018-01-09 Ferruccio Guidihelena: warning removed and modifications for λΥP expor... tree | commitdiff
2018-01-09 Ferruccio Guidiupdate in helena tree | commitdiff
2017-12-28 Claudio Sacerdoti... Horrible workaround tree | commitdiff
2017-12-28 Claudio Sacerdoti... .depend{.opt} files changed tree | commitdiff
2017-12-28 Claudio Sacerdoti... Patch to make it compile with recent OCaml tree | commitdiff
2017-12-28 Claudio Sacerdoti... patch to make it compile with recent OCaml versions tree | commitdiff
2017-12-28 Claudio Sacerdoti... strange bug-fix to allow compilation on recent ocaml... tree | commitdiff
2017-12-28 Claudio Sacerdoti... Stupid fix to avoid new camlp5 bug with int64 literals tree | commitdiff
2017-12-27 Claudio Sacerdoti... Patch to make it work with new versions of lablgtk2 tree | commitdiff
2017-11-24 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-11-22 Ferruccio Guidiupdate in basic_2 and in the corresponding web page tree | commitdiff
2017-11-14 Ferruccio Guidinotational change in basic_2 tree | commitdiff
2017-11-13 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-11-09 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-11-03 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2017-11-02 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-10-26 Ferruccio Guidiupdated colors for summary tables in the web site tree | commitdiff
2017-10-25 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-10-25 Ferruccio Guidiupdate in basic_2 and apps_2 tree | commitdiff
2017-10-25 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-10-23 Ferruccio Guidi- update in basic_2 tree | commitdiff
2017-10-17 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-10-17 Ferruccio Guidipost milestone in basic_2 tree | commitdiff
2017-10-16 Ferruccio Guidi- milestone in basic_2 tree | commitdiff
2017-10-10 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-10-10 Ferruccio Guidi- web site update tree | commitdiff
2017-04-16 Ferruccio Guidimilestone in basic_2 tree | commitdiff
2017-04-05 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2017-04-01 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-03-16 Ferruccio Guidinilestone in basic_2 ! tree | commitdiff
2017-03-16 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-03-11 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-03-09 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-03-08 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-03-06 Ferruccio Guidiupdate in basic_2 and apps_2 tree | commitdiff
2017-03-05 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-03-02 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-02-19 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-02-19 Ferruccio Guidimilestone in basic_2 tree | commitdiff
2017-02-19 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-02-16 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2017-02-01 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2017-01-26 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2017-01-24 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2017-01-22 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2017-01-21 Ferruccio Guidiupdate in basic_2 and ground_2 ... tree | commitdiff
2017-01-19 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2017-01-18 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2017-01-17 Ferruccio Guidimilestone in basic_2! tree | commitdiff
2017-01-16 Ferruccio Guidiupdate in ground_2 and basic_2 ... tree | commitdiff
2016-09-22 Ferruccio Guidiupdate in ground_2 and basic_2 ... tree | commitdiff
2016-09-15 Ferruccio Guidimilestone in basic_2! tree | commitdiff
2016-09-13 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2016-09-05 Ferruccio Guidione more paper citing \lambda\delta tree | commitdiff
2016-07-26 Ferruccio Guidiupdate in ground_2 and basic_2 tree | commitdiff
2016-07-22 Ferruccio Guidixhtml simplified tree | commitdiff
2016-07-22 Ferruccio Guidimore corrections to xhtml tree | commitdiff
2016-07-22 Ferruccio Guidicorrected xhtml tree | commitdiff
2016-07-22 Ferruccio Guidisite update tree | commitdiff
2016-07-21 Ferruccio Guidi- initial page for osn ... tree | commitdiff
2016-06-27 Ferruccio Guidiupdate in basic_2 ... tree | commitdiff
2016-06-09 Ferruccio Guidiupdate in ground_2 and basic_2 tree | commitdiff
2016-06-01 Ferruccio Guidi- source web pages for lambdadelta_1 tree | commitdiff
2016-05-31 Ferruccio Guidi- update in ground_2 and basic_2 tree | commitdiff
2016-05-22 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2016-05-22 Ferruccio Guidi- notational change for cpg and cpx tree | commitdiff
2016-05-21 Ferruccio Guidiupdate in basic_2 tree | commitdiff
2016-05-19 Ferruccio Guidiupdate in ground_2 and basic_2 tree | commitdiff
2016-05-18 Ferruccio Guidinews for matita 0.99.3 tree | commitdiff
2016-05-18 Ferruccio Guidithe source code of matita 0.99.3 is online tree | commitdiff
2016-04-18 Ferruccio Guidimilestone in basic_2 ... tree | commitdiff
2016-04-16 Ferruccio Guidiuniversary milestone in basic_2 tree | commitdiff
2016-04-08 Ferruccio Guidirenaming ... tree | commitdiff
2016-04-08 Ferruccio Guidiminor additions :) tree | commitdiff
2016-04-08 Ferruccio Guidiupdate in ground_2 and basic_2 tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.