]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e20e61b) | patch
Code simplified.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 Oct 2009 16:42:29 +0000 (16:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 30 Oct 2009 16:42:29 +0000 (16:42 +0000)
commit57a360d659425ce1ee9a69516b66a4d3c7b8eb62
treea8178e1cf2d502d04524a4c3c821d676f84cb669tree | snapshot
parente20e61bf6ec3f40451fd06059ac9293d9c45538ccommit | diff
Code simplified.
helm/software/components/ng_refiner/nCicMetaSubst.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.