]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 606b4db) | 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)
commit5376f7de4cc1b0687a197b9e42b10337b95f5742
tree8d18d862889ac92f578cb8db63c0974339e132a1tree | snapshot
parent606b4dbe57c4ccbf4c25f3eac4576b98977885c8commit | diff
Bug fixed: the syntax "?n" used to be broken. It tried a string_of_int "?n".
helm/software/components/content_pres/cicNotationLexer.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.