]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 72a3999) | patch
fix double app in Ast
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Sep 2009 17:12:41 +0000 (17:12 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 1 Sep 2009 17:12:41 +0000 (17:12 +0000)
commit8f785ed7fd5b2674d9fadbe5fac2eb7b2ec1cc4b
tree9d90eb2a04fae09d1574e2d58164ffd5c45a8abdtree | snapshot
parent72a3999ca5a4a2168753c272063ea6530dc963bdcommit | diff
fix double app in Ast
helm/software/components/ng_disambiguation/nCicDisambiguate.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.