descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeMon, 18 Oct 2021 19:04:56 +0000 (21:04 +0200)
shortlog
8 days ago Ferruccio Guidipartial update in static_2 master
2021-10-11 Ferruccio Guidipartial update in static_2
2021-10-05 Ferruccio Guidiupdate in ground
2021-10-05 Ferruccio Guidipartial commit in static_2
2021-10-05 Ferruccio Guidiupdate in ground
2021-10-04 Ferruccio Guidiupdate in ground
2021-10-04 Ferruccio Guidiupdate in ground
2021-09-30 Ferruccio Guidiupdate in ground
2021-06-29 Ferruccio Guidiupdate in ground and static_2
2021-06-17 Ferruccio Guidiupdate in alpha_1
2021-06-14 Ferruccio Guidiλδ site update
2021-05-29 Ferruccio Guidiupdate in ground
2021-05-29 Ferruccio Guidiλδ site update
2021-05-29 Ferruccio Guidiprobe
2021-05-29 Ferruccio GuidinCicLibrary
2021-05-29 Ferruccio Guidiupdate in ground
...
tags
6 years ago 0.5.9
12 years ago software
13 years ago 0.5.1
13 years ago 0.5.0-rc1
13 years ago 0.4.98
13 years ago 0.4.98@7921
13 years ago 0.4.97
13 years ago 0.4.97@7895
13 years ago 0.4.96
13 years ago 0.4.96@7881
13 years ago 0.4.95
13 years ago 0.4.95@7852
14 years ago ocaml-http
15 years ago V_0_0_7_2
15 years ago V_0_0_1_2
15 years ago V_0_7_2_3
...
heads
8 days ago master
2 years ago ld-0.99.3
2 years ago matita-lablgtk3
12 years ago ng_paramodulation_CNF
13 years ago universe-declared
13 years ago no-baseuri
13 years ago 0.4.95
13 years ago 0.4.95@7852
15 years ago tests
17 years ago moogle
17 years ago mathql_1_4
17 years ago unlabeled-1.4.2
17 years ago unlabeled-1.2.2
17 years ago unlabeled-1.1.2
17 years ago V7_3_new_exportation
18 years ago unlabeled-1.3.2
...