]> matita.cs.unibo.it Git - helm.git/commit
Changed parenthesis to optional around letin ident (and type)
authordenes <??>
Thu, 18 Jun 2009 11:01:08 +0000 (11:01 +0000)
committerdenes <??>
Thu, 18 Jun 2009 11:01:08 +0000 (11:01 +0000)
commitb8e036c5f3f54406e36cee1177a78922d59a0295
tree4e98b7e18c8a0c9c0f74f7a0bb18d7016897d194
parentc091ca7a030a85a529543de98e45c54284028b63
Changed parenthesis to optional around letin ident (and type)
helm/software/components/content_pres/cicNotationParser.ml