]> matita.cs.unibo.it Git - helm.git/summary
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
ownerClaudio Sacerdoti Coen
last changeTue, 14 Feb 2023 16:13:28 +0000 (17:13 +0100)
shortlog
2023-02-14 Claudio Sacerdoti... made executable again master
2023-02-14 Claudio Sacerdoti... Merge branch 'dune' of git+ssh://matita.cs.unibo.it... dune
2023-02-14 Claudio Sacerdoti... Ctr-C/break button behaviour fixed
2023-02-14 Claudio Sacerdoti... new executables (ported by Ferruccio Guidi)
2023-02-14 Claudio Sacerdoti... mod change (-x)
2023-02-14 Ferruccio Guidiwip ....
2023-02-14 Ferruccio Guidiunused componentsConf module removed
2023-02-14 Ferruccio Guidiauxiliary executables (xoa, matitadep, probe, matex...
2023-02-14 Claudio Sacerdoti... revert from camlp5o to standard syntax
2023-02-14 Claudio Sacerdoti... Dependency on ocaml_http replaced by ocaml_http_stubs...
2023-02-14 Claudio Sacerdoti... camlp5.gramlib does not pull in camlp-streams by default
2023-02-14 Claudio Sacerdoti... registry already did not depend on ocamlnet any more
2023-02-14 Claudio Sacerdoti... allow ocaml >= 4.14.1
2023-02-14 Claudio Sacerdoti... All previously auto-generated files from *.in committed
2023-02-14 Claudio Sacerdoti... METAS removed + matita.conf.xml committed
2023-02-14 Claudio Sacerdoti... Bad spelling for camlzip
...
tags
16 months ago make_still_working last commit before make breaks
9 years ago 0.5.9
15 years ago software
16 years ago 0.5.1
16 years ago 0.5.0-rc1
16 years ago 0.4.98
16 years ago 0.4.98@7921
16 years ago 0.4.97
16 years ago 0.4.97@7895
16 years ago 0.4.96
16 years ago 0.4.96@7881
16 years ago 0.4.95
16 years ago 0.4.95@7852
16 years ago ocaml-http
18 years ago V_0_0_7_2
18 years ago V_0_0_1_2
...
heads
15 months ago master
15 months ago dune
15 months ago ocaml5
4 years ago ld-0.99.3
4 years ago matita-lablgtk3
14 years ago ng_paramodulation_CNF
16 years ago universe-declared
16 years ago no-baseuri
16 years ago 0.4.95
16 years ago 0.4.95@7852
18 years ago tests
20 years ago moogle
20 years ago mathql_1_4
20 years ago unlabeled-1.4.2
20 years ago unlabeled-1.1.2
20 years ago unlabeled-1.2.2
...