descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeThu, 14 Jan 2021 21:25:06 +0000 (22:25 +0100)
shortlog
6 days ago Ferruccio Guidiarithmetics for λδ master
13 days ago Ferruccio Guidiarithmetics for λδ
2021-01-04 Ferruccio Guidiarithmetics for λδ
2021-01-01 Ferruccio Guidiarithmetics for λδ
2020-12-28 Ferruccio Guidiarithmetics for λδ
2020-12-22 Ferruccio Guidiarithmetics for λδ
2020-12-19 Ferruccio Guidiarithmetics for λδ
2020-12-09 Ferruccio Guidiλδ site update
2020-12-08 Ferruccio Guidiλδ-2B and λδ-ground repackaged for publication
2020-12-07 Ferruccio Guidiλδ web site update
2020-12-07 Ferruccio Guidiλδ site update
2020-10-15 Ferruccio Guidiupdate in static_2
2020-09-27 Ferruccio Guidiupdate in basic_2
2020-09-25 Ferruccio Guidiminor additions to standard library
2020-09-25 Ferruccio Guidimilestone update in basic_2
2020-07-18 Ferruccio Guidiupdate in static_2
...
tags
6 years ago 0.5.9
11 years ago software
12 years ago 0.5.1
12 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
13 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
6 days ago master
15 months ago ld-0.99.3
15 months ago matita-lablgtk3
11 years ago ng_paramodulation_CNF
12 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
16 years ago moogle
16 years ago mathql_1_4
16 years ago unlabeled-1.4.2
16 years ago unlabeled-1.2.2
16 years ago unlabeled-1.1.2
17 years ago V7_3_new_exportation
17 years ago unlabeled-1.3.2
...