descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeWed, 14 Nov 2018 17:54:14 +0000 (18:54 +0100)
shortlog
41 hours ago Ferruccio Guidipresentation upload master
7 days ago Ferruccio Guidiupdate in basic_2 and in web site
10 days ago Ferruccio Guidiupdate in bsasic_2
10 days ago Ferruccio Guidiupdate in basic_2
10 days ago Ferruccio Guidiupdate in basic_2, static_2, web site
13 days ago Ferruccio Guidiupdate in basic_2
2018-11-01 Ferruccio Guidimilestone uupdate in basic_2
2018-10-27 Ferruccio Guidiupdate in basic_2
2018-10-15 Ferruccio Guidiauxiliary update in basic_2
2018-10-01 Ferruccio Guidiupdate in basic_2
2018-09-29 Ferruccio Guidiupdate in basic_2 and apps_2
2018-09-27 Ferruccio Guidiupdate in basic_2 and static_2
2018-09-21 Ferruccio Guidimilestone in basic_2, λδ-2A reconstructed
2018-09-19 Ferruccio Guidiupdate in ground_2, static_2, basic_2
2018-09-18 Ferruccio Guidiupdate in static_2 and basic_2
2018-09-13 Ferruccio Guididependences for ocaml version 4.05.0
...
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
11 years ago 0.4.97
11 years ago 0.4.97@7895
11 years ago 0.4.96
11 years ago 0.4.96@7881
11 years ago 0.4.95
11 years ago 0.4.95@7852
11 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
41 hours ago master
9 years ago ng_paramodulation_CNF
10 years ago universe-declared
10 years ago no-baseuri
11 years ago 0.4.95
11 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
15 years ago unlabeled-1.3.2
15 years ago start
15 years ago init
...