descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeWed, 23 Nov 2022 08:33:26 +0000 (09:33 +0100)
shortlog
2022-11-23 Ferruccio Guidiwip in delayed_updating master
2022-11-17 Ferruccio Guidiupdate in delayed_updating
2022-11-14 Ferruccio Guidiupdate in delayed_updating
2022-11-13 Ferruccio Guidiupdate in delayed_updating
2022-11-12 Ferruccio Guidiupdate in ground
2022-11-06 Ferruccio Guidiupdate in ground
2022-11-06 Ferruccio Guidiupdate in delayed_updating
2022-11-02 Ferruccio Guidiupdate in delayed_updating
2022-10-26 Ferruccio Guidiupdate in predefined_virtuals
2022-10-26 Ferruccio Guidiupdate in delayed_updating
2022-10-25 Ferruccio Guidiupdate in delayed_updating and ground
2022-09-11 Ferruccio Guidiupdate in delayed_updating
2022-09-08 Ferruccio Guidipartial update in delayed_updating
2022-09-07 Ferruccio Guidiupdate in ground and delayed_updating
2022-09-04 Ferruccio Guidiupdate in delayd_updating
2022-09-04 Ferruccio Guidiupdate in ground
...
tags
7 years ago 0.5.9
13 years ago software
14 years ago 0.5.1
14 years ago 0.5.0-rc1
15 years ago 0.4.98
15 years ago 0.4.98@7921
15 years ago 0.4.97
15 years ago 0.4.97@7895
15 years ago 0.4.96
15 years ago 0.4.96@7881
15 years ago 0.4.95
15 years ago 0.4.95@7852
15 years ago ocaml-http
17 years ago V_0_0_7_2
17 years ago V_0_0_1_2
17 years ago V_0_7_2_3
...
heads
2 weeks ago master
3 years ago ld-0.99.3
3 years ago matita-lablgtk3
13 years ago ng_paramodulation_CNF
14 years ago universe-declared
14 years ago no-baseuri
15 years ago 0.4.95
15 years ago 0.4.95@7852
16 years ago tests
18 years ago moogle
18 years ago mathql_1_4
18 years ago unlabeled-1.4.2
18 years ago unlabeled-1.1.2
18 years ago unlabeled-1.2.2
19 years ago V7_3_new_exportation
19 years ago unlabeled-1.3.2
...