]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 46aef7e) | patch
moved psubst and list to the new iterators, result not very impressing
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 27 Mar 2008 10:51:12 +0000 (10:51 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 27 Mar 2008 10:51:12 +0000 (10:51 +0000)
commit518d6cfee0f99668a84f3b6b3a7572f93b1de91b
tree1468268c5ed35161bb9243bf719d3097c9ec3c49tree | snapshot
parent46aef7e789424049c13689f4ff1736d77dfc87bccommit | diff
moved psubst and list to the new iterators, result not very impressing
from the #lines point of view
helm/software/components/ng_kernel/nCicSubstitution.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.