]> matita.cs.unibo.it Git - helm.git/commit
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
tree79d5113fc475d1ec2bd31d8c4dc23ad529478dc0
parenteef875893d96b25d1b685fc9865b46c4267a31a6
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]
helm/mathql/grammar.txt
helm/mathql/xmathql.dtd