]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 863eeec) | patch
whelp macros have now () around args
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 12 Apr 2006 15:50:57 +0000 (15:50 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 12 Apr 2006 15:50:57 +0000 (15:50 +0000)
commit94409a6e42b8cc0a1a5b2836add266b712f92270
tree4358f263a5d9de576a900b22d7d3cd8e3042ec20tree | snapshot
parent863eeec8251791046ea6ea487286eb1434520725commit | diff
whelp macros have now () around args
helm/software/components/grafite/grafiteAstPp.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.