]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c9806f3) | patch
Bug fixed: the syntax "?n" used to be broken. It tried a string_of_int "?n".
authorAndrea Asperti <andrea.asperti@unibo.it>
Fri, 26 May 2006 08:03:20 +0000 (08:03 +0000)
committerAndrea Asperti <andrea.asperti@unibo.it>
Fri, 26 May 2006 08:03:20 +0000 (08:03 +0000)
commit3ed150643328da99de75cdf69b2987a8fb44cce4
treeafbc0149ca63f4ea388cb2c218c20add80f23e8dtree | snapshot
parentc9806f330ca060719dc21440b1b6d0dfe596f01fcommit | diff
Bug fixed: the syntax "?n" used to be broken. It tried a string_of_int "?n".
components/content_pres/cicNotationLexer.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.