]> matita.cs.unibo.it Git - helm.git/commit
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Wed, 22 May 2002 10:02:08 +0000 (10:02 +0000)
committerIrene Schena <irene.schena@unibo.it>
Wed, 22 May 2002 10:02:08 +0000 (10:02 +0000)
commit14a126b578b2c9a26d849553c65cec5e381df8fb
tree0848ff251e549ab709f5917fff8360ac0cffa91e
parent7a77e2728c1ddd4ad0f4fe75747de04d84a5ca4d
Modified Files:
1) query.xml xmathql.dtd: pattern changed
helm/mathql/query.xml
helm/mathql/xmathql.dtd