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, 21 Jul 2018 19:28:59 +0000 (21:28 +0200)
shortlog
35 hours ago Ferruccio Guidiupdate in apps_2 master commit | commitdiff | tree | snapshot
3 days ago Ferruccio Guidiupdate in functional commit | commitdiff | tree | snapshot
3 days ago Ferruccio Guidiupdate in ground_2 commit | commitdiff | tree | snapshot
8 days ago Ferruccio Guidiupdated xoa and predefined virtuals commit | commitdiff | tree | snapshot
9 days ago Ferruccio Guidiupdate in static_2 and app_2 commit | commitdiff | tree | snapshot
11 days ago Ferruccio Guidiupdate in static_2 and app_2 commit | commitdiff | tree | snapshot
2018-07-02 Ferruccio Guidisyntactic components detached from basic_2 become static_2 commit | commitdiff | tree | snapshot
2018-06-25 Ferruccio Guidirenaming in basic_2 commit | commitdiff | tree | snapshot
2018-06-23 Ferruccio Guidirenaming commit | commitdiff | tree | snapshot
2018-06-12 Ferruccio Guidirenaming in basic_2 commit | commitdiff | tree | snapshot
2018-06-11 Ferruccio GuidiMerge branch 'master' of ssh://matita.cs.unibo.it:... commit | commitdiff | tree | snapshot
2018-06-11 Ferruccio Guidibug fix in basic_2 commit | commitdiff | tree | snapshot
2018-06-11 Ferruccio Guidibug fix in basic_2 commit | commitdiff | tree | snapshot
2018-06-11 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2018-06-09 Ferruccio Guidiupdate in basic_2 commit | commitdiff | tree | snapshot
2018-06-08 Ferruccio Guidimilestone update in basic_2 commit | commitdiff | tree | snapshot
...
tags
3 years ago 0.5.9   | commit | shortlog | log
9 years ago software   | commit | shortlog | log
10 years ago 0.5.1   | commit | shortlog | log
10 years ago 0.5.0-rc1   | commit | shortlog | log
10 years ago 0.4.98   | commit | shortlog | log
10 years ago 0.4.98@7921   | commit | shortlog | log
10 years ago 0.4.97   | commit | shortlog | log
10 years ago 0.4.97@7895   | commit | shortlog | log
10 years ago 0.4.96   | commit | shortlog | log
10 years ago 0.4.96@7881   | commit | shortlog | log
10 years ago 0.4.95   | commit | shortlog | log
10 years ago 0.4.95@7852   | commit | shortlog | log
10 years ago ocaml-http   | commit | shortlog | log
12 years ago V_0_0_7_2   | commit | shortlog | log
12 years ago V_0_0_1_2   | commit | shortlog | log
12 years ago V_0_7_2_3   | commit | shortlog | log
...
heads
35 hours ago master shortlog | log | tree
8 years ago ng_paramodulation_CNF shortlog | log | tree
10 years ago universe-declared shortlog | log | tree
10 years ago no-baseuri shortlog | log | tree
10 years ago 0.4.95 shortlog | log | tree
10 years ago 0.4.95@7852 shortlog | log | tree
12 years ago tests shortlog | log | tree
14 years ago moogle shortlog | log | tree
14 years ago mathql_1_4 shortlog | log | tree
14 years ago unlabeled-1.4.2 shortlog | log | tree
14 years ago unlabeled-1.1.2 shortlog | log | tree
14 years ago unlabeled-1.2.2 shortlog | log | tree
14 years ago V7_3_new_exportation shortlog | log | tree
15 years ago unlabeled-1.3.2 shortlog | log | tree
15 years ago start shortlog | log | tree
15 years ago init shortlog | log | tree
...
Unnamed repository; edit this file 'description' to name the repository.