]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04f22df) | patch
applyTransformation: variable discharging in procedural/declarative script
authorFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Aug 2008 10:40:11 +0000 (10:40 +0000)
committerFerruccio Guidi <ferruccio.guidi@unibo.it>
Thu, 28 Aug 2008 10:40:11 +0000 (10:40 +0000)
commit71cc47ca7047fdb74dca7c4d3808ccd2343ca1db
tree8a53a707ecd65723314e6c9c61192dccf008af2atree | snapshot
parent04f22df647f35080b499b720bca7bc0eb1794c64commit | diff
applyTransformation: variable discharging in procedural/declarative script
                     reconstruction is now activated
we rebuilt the dependence files
helm/software/matita/.depend diff | blob | history
helm/software/matita/.depend.opt diff | blob | history
helm/software/matita/applyTransformation.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.