]> matita.cs.unibo.it Git - helm.git/commit
bug fix in inline syntax
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 25 Aug 2008 18:19:49 +0000 (18:19 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Mon, 25 Aug 2008 18:19:49 +0000 (18:19 +0000)
commitfd4196b476bff30c46a80cd858ea7bf057f301eb
tree6a0021c69e2a189e72ac294517d4868b668db32d
parent0faf538d2a970007527f493c67c17a54fd19d9b7
bug fix in inline syntax
helm/software/components/grafite_parser/grafiteParser.ml