]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c9144e) | patch
Correct errors due to a different form of LAMBDA
authorMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 30 Oct 2002 15:02:54 +0000 (15:02 +0000)
committerMatteo Selmi <matteo.selmi@mail.polimi.it>
Wed, 30 Oct 2002 15:02:54 +0000 (15:02 +0000)
commit94ec937790dc8852a895f3b0cec4183d4e5eeb42
treed8d4025fbc09f558ead5121803c1f6ff32b1513atree | snapshot
parent9c9144efcda1727b7e763b2db698024f7d91184fcommit | diff
Correct errors due to a different form of LAMBDA
helm/style/set.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.