]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 11e1766) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Fri, 14 Jun 2002 14:48:32 +0000 (14:48 +0000)
committerIrene Schena <irene.schena@unibo.it>
Fri, 14 Jun 2002 14:48:32 +0000 (14:48 +0000)
commit80569b93b7cc484b40d7cba33f3d8255db66fe65
treeb71f03d65bcf3cb458311181c921db02fd5ccae3tree | snapshot
parent11e17663d4496ea6354e41c283c95fe6d820e218commit | diff
Modified Files:
1) grammar.txt xmathql.dtd: modified EXISTS, added SORTEDBY and MINIMIZE
Added Files:
1) core_grammar.txt: implemented grammar
helm/mathql/core_grammar.txt [new file with mode: 0644] blob
helm/mathql/grammar.txt diff | blob | history
helm/mathql/xmathql.dtd diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.