descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeSat, 18 Jul 2020 18:49:45 +0000 (20:49 +0200)
shortlog
2020-07-18 Ferruccio Guidiupdate in static_2 master
2020-04-30 Ferruccio Guididecentralized notation in lambda
2020-04-24 Ferruccio Guidiupdate in staic_2 and basic_2
2020-04-21 Ferruccio Guidiupdate in basic_2
2020-04-18 Ferruccio Guidimilestone update in basic_2, update in ground and static_2
2020-04-09 Ferruccio Guidiupdate in binararies for λδ
2020-04-09 Ferruccio Guidirenaming in basics/relations
2020-03-05 Ferruccio Guidiupdate in standard library
2020-02-27 Ferruccio Guidiground_2 released and permanently renamed as ground
2020-02-27 Ferruccio Guidimilestone update in ground_2 and basic_2A
2020-02-17 Ferruccio Guidiupdate in binaries for λδ
2020-02-11 Ferruccio Guidiupdate in binaries for λδ
2020-02-10 Ferruccio Guidiupdate in binaries for λδ
2020-02-08 Ferruccio Guidiupdate in binaries for λδ
2020-02-07 Ferruccio Guidiupdate in binaries for λδ
2020-02-06 Ferruccio Guidiupdate in binaries for λδ
...
tags
5 years ago 0.5.9
11 years ago software
12 years ago 0.5.1
12 years ago 0.5.0-rc1
12 years ago 0.4.98
12 years ago 0.4.98@7921
12 years ago 0.4.97
12 years ago 0.4.97@7895
12 years ago 0.4.96
12 years ago 0.4.96@7881
12 years ago 0.4.95
12 years ago 0.4.95@7852
12 years ago ocaml-http
14 years ago V_0_0_7_2
14 years ago V_0_0_1_2
14 years ago V_0_7_2_3
...
heads
2 weeks ago master
9 months ago ld-0.99.3
10 months ago matita-lablgtk3
10 years ago ng_paramodulation_CNF
12 years ago universe-declared
12 years ago no-baseuri
12 years ago 0.4.95
12 years ago 0.4.95@7852
14 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
16 years ago V7_3_new_exportation
17 years ago unlabeled-1.3.2
...