]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2894cb7) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Thu, 23 May 2002 13:30:10 +0000 (13:30 +0000)
committerIrene Schena <irene.schena@unibo.it>
Thu, 23 May 2002 13:30:10 +0000 (13:30 +0000)
commit5a3c6e3eb8f8ed08152c43671ff21a04cbc57dac
tree19cf393fc5b5deeb3f1cf7452c01d80f3ee9f21ftree | snapshot
parent2894cb7d5855ac2003e81c9383c3cf3843973d9ecommit | diff
Modified Files:
1) grammar.txt xmathql.dtd: moved sortby in grammar comments
helm/mathql/grammar.txt diff | blob | history
helm/mathql/xmathql.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.