]> matita.cs.unibo.it Git - helm.git/commit
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Mon, 20 May 2002 15:11:49 +0000 (15:11 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 20 May 2002 15:11:49 +0000 (15:11 +0000)
commit11ca09baa5979991650a11878ce807a21ba978ea
tree828fad6c0872a70a0ca5a0f0f0e135e39dd8ee65
parent58848ea9446dd2d55da06bbd5fc8b0eea68735df
Modified Files:
1) query.xml xmathql.dtd: PATTERN changed
helm/mathql/query.xml
helm/mathql/xmathql.dtd