]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1dd5176) | patch
Modified mode "abstparam" due to changes to LAMBDA and PROD. To verify if there are...
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 6 Nov 2002 15:15:27 +0000 (15:15 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 6 Nov 2002 15:15:27 +0000 (15:15 +0000)
commitbf139708239b0a51c96cdeb2e636e057e8c4571e
tree24c76f27f689193baba8ee9176d2282cf71b7144tree | snapshot
parent1dd5176f6d6a6247ebf941a1f6319a909f43d5fccommit | diff
Modified mode "abstparam" due to changes to LAMBDA and PROD. To verify if there are errors.
helm/style/params.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.