projects / helm.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeSat, 9 Nov 2019 17:27:55 +0000 (18:27 +0100)
shortlog
2 days ago Ferruccio Guidiupdated probe and matitadep master commit | commitdiff | tree | snapshot
2019-10-28 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2019-10-25 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2019-10-21 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2019-10-18 Ferruccio GuidiMerge remote-tracking branch 'origin/ld-0.99.3' commit | commitdiff | tree | snapshot
2019-10-17 Ferruccio Guidiupdate in basuc_2 ld-0.99.3 commit | commitdiff | tree | snapshot
2019-10-16 Claudio Sacerdoti... Update online helper entries commit | commitdiff | tree | snapshot
2019-10-14 Ferruccio GuidiWIP on cpce ... commit | commitdiff | tree | snapshot
2019-10-14 Ferruccio Guidisome added lemmas removed from auto commit | commitdiff | tree | snapshot
2019-10-14 Ferruccio Guidibackport of WIP on \lambda\delta to matita 0.99.3 commit | commitdiff | tree | snapshot
2019-10-03 Ferruccio Guidiupdate in ground_2 and basic_2 commit | commitdiff | tree | snapshot
2019-10-01 Ferruccio GuidiMerge remote-tracking branch 'origin/matita-lablgtk3' commit | commitdiff | tree | snapshot
2019-09-30 Ferruccio Guidiupdate in ground_2 and basic_2 commit | commitdiff | tree | snapshot
2019-09-29 Ferruccio Guidimatita gtk3: some bugs fixed matita-lablgtk3 commit | commitdiff | tree | snapshot
2019-09-29 Ferruccio GuidiMerge branch 'matita-lablgtk3' of ssh://matita.cs.unibo... commit | commitdiff | tree | snapshot
2019-09-29 Ferruccio Guidiupdate in static_2 commit | commitdiff | tree | snapshot
...
tags
4 years ago 0.5.9   | commit | shortlog | log
10 years ago software   | commit | shortlog | log
11 years ago 0.5.1   | commit | shortlog | log
11 years ago 0.5.0-rc1   | commit | shortlog | log
11 years ago 0.4.98   | commit | shortlog | log
11 years ago 0.4.98@7921   | commit | shortlog | log
11 years ago 0.4.97   | commit | shortlog | log
11 years ago 0.4.97@7895   | commit | shortlog | log
11 years ago 0.4.96   | commit | shortlog | log
11 years ago 0.4.96@7881   | commit | shortlog | log
11 years ago 0.4.95   | commit | shortlog | log
11 years ago 0.4.95@7852   | commit | shortlog | log
12 years ago ocaml-http   | commit | shortlog | log
13 years ago V_0_0_7_2   | commit | shortlog | log
13 years ago V_0_0_1_2   | commit | shortlog | log
13 years ago V_0_7_2_3   | commit | shortlog | log
...
heads
2 days ago master shortlog | log | tree
3 weeks ago ld-0.99.3 shortlog | log | tree
6 weeks ago matita-lablgtk3 shortlog | log | tree
10 years ago ng_paramodulation_CNF shortlog | log | tree
11 years ago universe-declared shortlog | log | tree
11 years ago no-baseuri shortlog | log | tree
11 years ago 0.4.95 shortlog | log | tree
11 years ago 0.4.95@7852 shortlog | log | tree
13 years ago tests shortlog | log | tree
15 years ago moogle shortlog | log | tree
15 years ago mathql_1_4 shortlog | log | tree
15 years ago unlabeled-1.4.2 shortlog | log | tree
15 years ago unlabeled-1.2.2 shortlog | log | tree
15 years ago unlabeled-1.1.2 shortlog | log | tree
15 years ago V7_3_new_exportation shortlog | log | tree
16 years ago unlabeled-1.3.2 shortlog | log | tree
...
Unnamed repository; edit this file 'description' to name the repository.