descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeSat, 20 Jul 2019 20:13:45 +0000 (22:13 +0200)
shortlog
2 days ago Ferruccio Guidimore additions and corrections for the article master
7 days ago Ferruccio Guidiadditions and corrections for the article on λδ-2B
2019-06-15 Ferruccio Guidiupdating the structures for sorts
2019-06-15 Ferruccio Guidisome restyling ...
2019-06-02 Ferruccio Guidimilestone in basic_2
2019-05-30 Ferruccio Guidiupdate in basic_2
2019-05-29 Ferruccio Guidiupdate in basic_2
2019-05-16 Ferruccio Guididecentralizing core notation continues ...
2019-04-17 Ferruccio Guidiupdate in basic_2
2019-04-16 Ferruccio Guidimilestone in basic_2 with additions in static_2
2019-04-08 Ferruccio Guidiupdate in basic_2
2019-04-05 Ferruccio Guidiupdate in ground_2 static_2 basic_2
2019-03-25 Ferruccio Guidimilestone in basic_2
2019-03-20 Ferruccio Guidiupdate in ground_2 static_2 basic_2
2019-03-04 Ferruccio Guidifirst steps towards decidability of the validity predicate
2019-02-04 Ferruccio Guidiminor corrections and updates
...
tags
4 years ago 0.5.9
10 years ago software
11 years ago 0.5.1
11 years ago 0.5.0-rc1
11 years ago 0.4.98
11 years ago 0.4.98@7921
11 years ago 0.4.97
11 years ago 0.4.97@7895
11 years ago 0.4.96
11 years ago 0.4.96@7881
11 years ago 0.4.95
11 years ago 0.4.95@7852
11 years ago ocaml-http
13 years ago V_0_0_7_2
13 years ago V_0_0_1_2
13 years ago V_0_7_2_3
...
heads
2 days ago master
6 months ago matita-lablgtk3
9 years ago ng_paramodulation_CNF
11 years ago universe-declared
11 years ago no-baseuri
11 years ago 0.4.95
11 years ago 0.4.95@7852
13 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
15 years ago V7_3_new_exportation
16 years ago unlabeled-1.3.2
16 years ago start
...