]> matita.cs.unibo.it Git - helm.git/commit
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Mon, 23 Sep 2002 12:50:45 +0000 (12:50 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 23 Sep 2002 12:50:45 +0000 (12:50 +0000)
commitc6b9538995874c6595874e88bc7bf8965e50f14b
treec2531d546b72c57bb644f435136fc91af25dc24b
parentd5c0d882413668e6569df55f501efe92cf3bf100
Modified Files:
1) grammar.txt xmathql.dtd: relation modified
helm/mathql/grammar.txt
helm/mathql/xmathql.dtd