]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6c6530f) | patch
moogle syntax help page, actually contains only syntax and examples for
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Dec 2004 16:05:27 +0000 (16:05 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Dec 2004 16:05:27 +0000 (16:05 +0000)
commit08fc8d34cc017b75eafcaec7bd314c8f49d6e320
treed85b438dbc0b11f306db36f4f6b922068558347dtree | snapshot
parent6c6530f435e82cc7688c3f76c4d61b4e0bd7a0e5commit | diff
moogle syntax help page, actually contains only syntax and examples for
the "locate" query. "hint", "match" and "elim" syntaxes are currently
undocumented
helm/searchEngine/html/moogle_syntax.html [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.