descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeWed, 17 Jan 2018 19:31:56 +0000 (20:31 +0100)
shortlog
2 days ago Ferruccio Guidiupdate in basic_2 master
6 days ago Ferruccio Guidiupdate in ground_2 and basic_2
6 days ago Ferruccio Guidi\lambda\delta web site update for git
10 days ago Ferruccio Guidihelena: warning removed and modifications for λΥP expor...
10 days ago Ferruccio Guidiupdate in helena
11 days ago Ferruccio Guidijet a change in dependences
11 days ago Ferruccio Guidiwork in progress with voids and lveq (was: the most...
2018-01-06 Ferruccio Guidiupdate in ground_2 + \lambda\delta-related ignores
2018-01-05 Ferruccio Guidimatita.basedir used consistently
2018-01-05 Ferruccio Guidimore files to ignore
2018-01-05 Ferruccio Guidiupdated depend files
2018-01-05 Ferruccio Guidibeginning of minimalist foundation from a student of...
2017-12-28 Claudio Sacerdoti... Horrible workaround
2017-12-28 Claudio Sacerdoti... .depend{.opt} files changed
2017-12-28 Claudio Sacerdoti... Patch to make it compile with recent OCaml
2017-12-28 Claudio Sacerdoti... added .gitignore
...
tags
3 years ago 0.5.9
8 years ago software
9 years ago 0.5.1
9 years ago 0.5.0-rc1
10 years ago 0.4.98
10 years ago 0.4.98@7921
10 years ago 0.4.97
10 years ago 0.4.97@7895
10 years ago 0.4.96
10 years ago 0.4.96@7881
10 years ago 0.4.95
10 years ago 0.4.95@7852
10 years ago ocaml-http
12 years ago V_0_0_7_2
12 years ago V_0_0_1_2
12 years ago V_0_7_2_3
...
heads
2 days ago master
8 years ago ng_paramodulation_CNF
9 years ago universe-declared
10 years ago no-baseuri
10 years ago 0.4.95
10 years ago 0.4.95@7852
12 years ago tests
13 years ago moogle
13 years ago mathql_1_4
13 years ago unlabeled-1.4.2
13 years ago unlabeled-1.1.2
13 years ago unlabeled-1.2.2
14 years ago V7_3_new_exportation
14 years ago unlabeled-1.3.2
15 years ago start
15 years ago init
...