descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeThu, 30 Apr 2020 20:32:06 +0000 (22:32 +0200)
shortlog
2020-04-30 Ferruccio Guididecentralized notation in lambda master
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 λδ
2020-02-03 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
5 weeks ago master
7 months ago ld-0.99.3
8 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
...