]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8e0de4b) | patch
added support for single target
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Jan 2008 09:55:23 +0000 (09:55 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Jan 2008 09:55:23 +0000 (09:55 +0000)
commit209184c83f7d290ceb43605598e09074b57d36f4
tree771b2a4643622dad77932f0bf89179389a92baa1tree | snapshot
parent8e0de4b1a47c3fe6a665eff743f819d20d7c3af8commit | diff
added support for single target
make/main.ml diff | blob | history
make/make.ml diff | blob | history
make/make.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.