]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2cad6cb) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Wed, 2 Oct 2002 12:08:27 +0000 (12:08 +0000)
committerIrene Schena <irene.schena@unibo.it>
Wed, 2 Oct 2002 12:08:27 +0000 (12:08 +0000)
commit0a167b9866d75acc1c32c3569dbea861114f7380
tree94e13371eddef28de86de4b284cd04cd6435e26ftree | snapshot
parent2cad6cb43cd5ca2c2d371cc49a6354c95533c81fcommit | diff
Modified Files:
1) grammar.txt: added parentesis to string-set
helm/mathql/grammar.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.