[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [MAIN] texi-declnames.patch
From: |
Akim Demaille |
Subject: |
Re: [MAIN] texi-declnames.patch |
Date: |
03 Sep 2001 09:13:56 +0200 |
User-agent: |
Gnus/5.0808 (Gnus v5.8.8) XEmacs/21.4 (Artificial Intelligence) |
Did you apply this patch? I hope you didn't.
I'd appreciate if, instead of _completely_ removing the previous
terminology, you kept it from place to place, so that people can learn
the two vocabularies designate the same things.
- Re: [MAIN] texi-declnames.patch,
Akim Demaille <=