]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8aa44cb) | patch
Syntax for coercion nocomposites fixed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 26 May 2011 09:33:31 +0000 (09:33 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 26 May 2011 09:33:31 +0000 (09:33 +0000)
commitb3f366c0fa3fcadcf5f21913f71a2bce591e47d0
tree0f23f8750c672f54634d590dea3108f43594ed3etree | snapshot
parent8aa44cb352041dd314011996b4b1a1ff8990a000commit | diff
Syntax for coercion nocomposites fixed.
matita/components/grafite_parser/grafiteParser.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.