]> matita.cs.unibo.it Git - helm.git/commit
* patches for ocaml compilation
authorLuca Padovani <luca.padovani@unito.it>
Thu, 5 Dec 2002 13:11:11 +0000 (13:11 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 5 Dec 2002 13:11:11 +0000 (13:11 +0000)
commit3a92e3423f1dcf50a23d42a1d9e40a703cb45db2
tree43d4a8c857d7bd316e51bfb8df68e3fcf30adf09
parentc640e15d6309c8aaeeb8d4ce25b31ec1d588dcd3
* patches for ocaml compilation
helm/DEVEL/gdome_xslt/C++/gdome_xslt/Makefile.am
helm/DEVEL/gdome_xslt/C++/test/Makefile.am
helm/DEVEL/gdome_xslt/C/gdome_xslt/Makefile
helm/DEVEL/gdome_xslt/C/test/Makefile
helm/DEVEL/gdome_xslt/C/test/Makefile.am
helm/DEVEL/gdome_xslt/Makefile
helm/DEVEL/gdome_xslt/Makefile.am
helm/DEVEL/gdome_xslt/configure.ac
helm/DEVEL/gdome_xslt/ocaml/test/Makefile