]> matita.cs.unibo.it Git - helm.git/commit
tentative subst-sexpand and change
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 30 Mar 2009 16:13:40 +0000 (16:13 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 30 Mar 2009 16:13:40 +0000 (16:13 +0000)
commitbf6f5b964bd4e6c16401a4bfab3c29d6824be22a
tree442ba1b03b25cb6201330a9012183a4a6d10d098
parent9bfe6aa2b2c3cdc09b1c9445789329d74bfef7d7
tentative subst-sexpand and change
helm/software/components/binaries/transcript/.depend
helm/software/components/binaries/transcript/.depend.opt
helm/software/components/grafite/grafiteAst.ml
helm/software/components/grafite/grafiteAstPp.ml
helm/software/components/grafite_engine/grafiteEngine.ml
helm/software/components/grafite_parser/grafiteParser.ml
helm/software/components/ng_tactics/nTactics.ml
helm/software/components/ng_tactics/nTactics.mli
helm/software/components/syntax_extensions/.depend