j
k
j a
j l
"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
Back to the thread
Back to the list