17 Jul
2008
17 Jul
'08
10:25 a.m.
"Tobias C. Rittweiler" tcr@freebits.de writes:
How can you currently rename a parameter in a lambda-list?
You probably can't, because I haven't had the need to do that yet.
--
\ Troels
/\ Henriksen