]> matita.cs.unibo.it Git - helm.git/commit - helm/ocaml/grafite/Makefile
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
tree60a4a81c8abf57a86ef99b8f61f4314e089e86e1
parenta56837c8e421a9d1e71566bde12ea8cc1518cfba
crosso compatibility patch which enable building both with ocaml 3.08 and 3.09
helm/ocaml/content_pres/Makefile
helm/ocaml/grafite/Makefile
helm/ocaml/utf8_macros/Makefile