[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [MAIN] output-user-code.patch
From: |
Akim Demaille |
Subject: |
Re: [MAIN] output-user-code.patch |
Date: |
31 Aug 2001 16:25:46 +0200 |
User-agent: |
Gnus/5.0808 (Gnus v5.8.8) XEmacs/21.4 (Artificial Intelligence) |
I agree user code and definitions are names used in the documentation,
but personally I find these names confusing, as you often have user
code in definitions.
I'm in favor of renaming this in the user documentation and the code.