]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 316cd88) | patch
Added -syntax support (if needed, use OCAMLC_P4 instead of OCAMLC in
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 11 Oct 2004 19:18:37 +0000 (19:18 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 11 Oct 2004 19:18:37 +0000 (19:18 +0000)
commit223e208e2b0c432d9c5c1aef91ca6114cf97933b
tree4e078ccdc4a0ccb880328532c2ea3834e0a4bbe8tree | snapshot
parent316cd887bc06765219097e3462f1fc85b4ac72d6commit | diff
Added -syntax support (if needed, use OCAMLC_P4 instead of OCAMLC in
Makefile); ocamldep uses it by default.
helm/ocaml/Makefile.common.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.