]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c2737f) | patch
bug in psubst fixed inside local context in Irl form
authorEnrico Tassi <enrico.tassi@inria.fr>
Mon, 13 Oct 2008 15:53:15 +0000 (15:53 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Mon, 13 Oct 2008 15:53:15 +0000 (15:53 +0000)
commit30111ae182e35dc2f7aac9ea23746ba671d2001b
treeab64facb6c7900208251d3e819f73a660e13b910tree | snapshot
parent0c2737f166a10e0799c9f3d3c260c26c29c403decommit | diff
bug in psubst fixed inside local context in Irl form
helm/software/components/ng_kernel/nCicSubstitution.ml diff | blob | history
helm/software/components/ng_kernel/nCicSubstitution.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.