]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eef8758) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Fri, 20 Sep 2002 14:14:25 +0000 (14:14 +0000)
committerIrene Schena <irene.schena@unibo.it>
Fri, 20 Sep 2002 14:14:25 +0000 (14:14 +0000)
commit4f195220f9e7ee0fcb0de4d78a3e5817b70ea803
tree79d5113fc475d1ec2bd31d8c4dc23ad529478dc0tree | snapshot
parenteef875893d96b25d1b685fc9865b46c4267a31a6commit | diff
Modified Files:
1)grammar.txt xmathql.dtd: updated versions
Removed Files:
1)core_grammar.txt: now all the grammar is implemented
helm/mathql/core_grammar.txt [deleted file] blob | history
helm/mathql/grammar.txt diff | blob | history
helm/mathql/xmathql.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.