]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1f211ca) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Mon, 10 Jun 2002 15:40:36 +0000 (15:40 +0000)
committerIrene Schena <irene.schena@unibo.it>
Mon, 10 Jun 2002 15:40:36 +0000 (15:40 +0000)
commit85f01e5719399cc2ccf47cbe51f7b8036e12d815
treeac0853e57d7532e9d03827549f70db6a92c976cbtree | snapshot
parent1f211ca47fddbe9db9960578970ebcc9282c797fcommit | diff
Modified Files:
1) grammar.txt query.xml xmathql.dtd: aligned versions (added LETIN
   REFERENCE SETEQUAL SUBSET LVAR)
helm/mathql/grammar.txt diff | blob | history
helm/mathql/query.xml diff | blob | history
helm/mathql/xmathql.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.