]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a56837c) | patch
crosso compatibility patch which enable building both with ocaml 3.08 and 3.09
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 27 Nov 2005 15:53:47 +0000 (15:53 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 27 Nov 2005 15:53:47 +0000 (15:53 +0000)
commit1dd8ba456b2c38a912de788c3fc6a815e472d475
tree60a4a81c8abf57a86ef99b8f61f4314e089e86e1tree | snapshot
parenta56837c8e421a9d1e71566bde12ea8cc1518cfbacommit | diff
crosso compatibility patch which enable building both with ocaml 3.08 and 3.09
helm/ocaml/content_pres/Makefile diff | blob | history
helm/ocaml/grafite/Makefile diff | blob | history
helm/ocaml/utf8_macros/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.