descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeMon, 14 May 2018 18:49:03 +0000 (20:49 +0200)
shortlog
11 days ago Ferruccio Guidiupdate in basic_2 master
13 days ago Ferruccio Guidiupdate in ground_2 and basic_2
13 days ago Ferruccio Guidiupdate in basic_2
2018-05-11 Ferruccio Guidiupdate in basic_2
2018-05-11 Ferruccio Guidiupdate in basic_2
2018-05-11 Ferruccio Guidiupdate in basic_2
2018-05-10 Ferruccio Guidiupdate in basic_2
2018-05-10 Ferruccio Guidiupdate in ground_2
2018-05-09 Ferruccio Guidiupdate in basic_2
2018-05-09 Ferruccio Guidiupdate in groud_2 and models
2018-05-08 Ferruccio Guidiupdate in grond_2 and models
2018-05-07 Ferruccio Guidiupdate in apps_2
2018-05-05 Ferruccio Guidiupdate in basic_2
2018-05-04 Ferruccio Guidiupdate in ground_2 and basic_2
2018-05-03 Ferruccio Guidiupdate in ground_2 and models
2018-05-03 Ferruccio Guidinotational update in lambdadelta completed
...
tags
3 years ago 0.5.9
9 years ago software
10 years ago 0.5.1
10 years ago 0.5.0-rc1
10 years ago 0.4.98
10 years ago 0.4.98@7921
10 years ago 0.4.97
10 years ago 0.4.97@7895
10 years ago 0.4.96
10 years ago 0.4.96@7881
10 years ago 0.4.95
10 years ago 0.4.95@7852
10 years ago ocaml-http
12 years ago V_0_0_7_2
12 years ago V_0_0_1_2
12 years ago V_0_7_2_3
...
heads
11 days ago master
8 years ago ng_paramodulation_CNF
10 years ago universe-declared
10 years ago no-baseuri
10 years ago 0.4.95
10 years ago 0.4.95@7852
12 years ago tests
14 years ago moogle
14 years ago mathql_1_4
14 years ago unlabeled-1.4.2
14 years ago unlabeled-1.1.2
14 years ago unlabeled-1.2.2
14 years ago V7_3_new_exportation
14 years ago unlabeled-1.3.2
15 years ago start
15 years ago init
...