]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 286b2c5) | patch
firs attempt to compile with ocamlbuild
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 28 Feb 2008 08:42:37 +0000 (08:42 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 28 Feb 2008 08:42:37 +0000 (08:42 +0000)
commitc1b8d6c5b550d8b0b658baa53174732586a83bed
tree0cac80afe6ddbd643c24a8ad18a205f0901baa8dtree | snapshot
parent286b2c5ed05fc545a2ac69af4cd39d1f35a53b68commit | diff
firs attempt to compile with ocamlbuild
helm/software/ocamlbuild.sh [new file with mode: 0755] blob
Unnamed repository; edit this file 'description' to name the repository.