]> matita.cs.unibo.it Git - helm.git/commit
psubst for metas fixed again
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 21 Oct 2008 11:28:47 +0000 (11:28 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 21 Oct 2008 11:28:47 +0000 (11:28 +0000)
commit22574214f7ab6b0ce7de37b50cad2037074c51b0
treea46e7e640c67e4baa5a22301d1475d2ff31e1bcf
parent7deb4b1f322850b8ff03d5626f7828736d074ec8
psubst for metas fixed again
helm/software/components/ng_kernel/nCicSubstitution.ml