descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeThu, 18 Mar 2021 14:10:29 +0000 (15:10 +0100)
shortlog
2021-03-18 Ferruccio Guidigrafite parser updated master
2021-03-15 Ferruccio Guidipropagating the arithmetics library, partial commit
2021-02-28 Ferruccio Guidiupdate in ground
2021-02-28 Ferruccio Guidiupdate in ground
2021-02-28 Ferruccio Guidiupdate in gruound
2021-02-27 Ferruccio Guidiupdate in ground
2021-02-27 Ferruccio Guidiremoving old contribs
2021-02-26 Ferruccio Guidiremoving old contribs
2021-02-26 Ferruccio Guidipropagating the arithmetics library, partial commit
2021-02-24 Ferruccio Guidiupdate in bin
2021-02-17 Ferruccio Guidipropagating the arithmetics library, partial commit
2021-02-15 Ferruccio Guidimilestone update in ground, partial commit
2021-01-14 Ferruccio Guidiarithmetics for λδ
2021-01-08 Ferruccio Guidiarithmetics for λδ
2021-01-04 Ferruccio Guidiarithmetics for λδ
2021-01-01 Ferruccio Guidiarithmetics for λδ
...
tags
6 years ago 0.5.9
12 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
3 weeks ago master
17 months ago ld-0.99.3
18 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
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
17 years ago unlabeled-1.3.2
...