]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8f89cdd) | patch
Modified Files:
authorIrene Schena <irene.schena@unibo.it>
Wed, 28 Aug 2002 14:57:52 +0000 (14:57 +0000)
committerIrene Schena <irene.schena@unibo.it>
Wed, 28 Aug 2002 14:57:52 +0000 (14:57 +0000)
commit083c4f014ec4ed17b33fef4a01efca2c72d85b06
treecfe5f49d4e22d1a23b8dc7a64213eff936e537fftree | snapshot
parent8f89cdd08d9ee0a243cf84201bf42e5503759ee3commit | diff
Modified Files:
1)core_grammar.txt grammar.txt query.xml xmathql.dtd: new version
----------------------------------------------------------------------
helm/mathql/core_grammar.txt diff | blob | history
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.