]> matita.cs.unibo.it Git - helm.git/commit
whelp locate now accepts * and ?
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 12 Apr 2006 16:22:09 +0000 (16:22 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 12 Apr 2006 16:22:09 +0000 (16:22 +0000)
commit37632a908f126ebe1c927cd5c997434d4cd0bf2c
treef91574a4a618c7dbec30d46c510e8696a22b5ae2
parent94409a6e42b8cc0a1a5b2836add266b712f92270
whelp locate now accepts * and ?
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/matita/matitaMathView.ml