descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeSat, 18 Jan 2020 22:20:28 +0000 (23:20 +0100)
shortlog
4 days ago Ferruccio Guidiupdate in lambdadelta master
5 days ago Ferruccio Guidiupdate in lambdadelta
7 days ago Ferruccio Guidiupdate in basic_2
8 days ago Ferruccio Guidiupdate in basic_2 and apps_2
12 days ago Ferruccio Guidiupdate in ground_2, static_2, basic_2
2020-01-08 Ferruccio Guidiupdate in ground_2, static_2, basic_2, apps_2, alpha_1
2020-01-06 Ferruccio Guidiupdate in ground_2
2020-01-06 Ferruccio Guidiupdate in ground_2, static_2, basic_2
2019-12-20 Ferruccio Guidiweb site update
2019-12-19 Ferruccio Guidiupdated web site
2019-12-14 Ferruccio Guidiweb site update
2019-12-11 Ferruccio Guidiweb site update
2019-12-09 Ferruccio Guidimechanizing the generation of index files for λδ web...
2019-12-09 Ferruccio Guidigrundlagen web pages updated
2019-12-06 Ferruccio Guidiλδ web site update
2019-12-02 Ferruccio Guidiupdated web site
...
tags
5 years ago 0.5.9
10 years ago software
11 years ago 0.5.1
11 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
4 days ago master
3 months ago ld-0.99.3
3 months ago matita-lablgtk3
10 years ago ng_paramodulation_CNF
11 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
15 years ago moogle
15 years ago mathql_1_4
15 years ago unlabeled-1.4.2
15 years ago unlabeled-1.2.2
15 years ago unlabeled-1.1.2
16 years ago V7_3_new_exportation
16 years ago unlabeled-1.3.2
...