descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeWed, 20 Mar 2019 11:30:38 +0000 (12:30 +0100)
shortlog
3 days ago Ferruccio Guidiupdate in ground_2 static_2 basic_2 master
2019-03-04 Ferruccio Guidifirst steps towards decidability of the validity predicate
2019-02-04 Ferruccio Guidiminor corrections and updates
2019-01-01 Ferruccio Guidithe decentralization of core notation continues ...
2018-12-20 Ferruccio Guidixoa utility updated
2018-12-17 Ferruccio Guidilist of failing files updated
2018-12-10 Ferruccio Guidiweb site update
2018-12-06 Ferruccio Guidiweb site update
2018-12-01 Ferruccio Guidiweb site update
2018-11-19 Ferruccio Guidisupplementary files for web site
2018-11-19 Ferruccio GuidiMerge branch 'master' of ssh://matita.cs.unibo.it:...
2018-11-19 Ferruccio Guidisome supplementary items for web site
2018-11-14 Ferruccio Guidipresentation upload
2018-11-08 Ferruccio Guidiupdate in basic_2 and in web site
2018-11-06 Ferruccio Guidiupdate in bsasic_2
2018-11-06 Ferruccio Guidiupdate in basic_2
...
tags
4 years ago 0.5.9
10 years ago software
10 years ago 0.5.1
10 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
3 days ago master
2 months ago matita-lablgtk3
9 years ago ng_paramodulation_CNF
10 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
14 years ago moogle
14 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
15 years ago unlabeled-1.3.2
16 years ago start
...