]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ffb5698) | patch
added vars selection boolean on locate
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 25 Oct 2004 12:49:27 +0000 (12:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 25 Oct 2004 12:49:27 +0000 (12:49 +0000)
commit26a58712246fab202250f3d994b3ea56c576c992
treeed32db09012202821a1df1c7a1d3f695e9d13f5dtree | snapshot
parentffb569818f6e4d9723dbd2c1721bbe80e75278e9commit | diff
added vars selection boolean on locate
helm/ocaml/tactics/metadataQuery.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.