[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [MAIN] texi-declnames.patch
From: |
marc-alexandre autret |
Subject: |
Re: [MAIN] texi-declnames.patch |
Date: |
Mon, 3 Sep 2001 09:32:01 +0000 (GMT) |
According to Akim Demaille:
> Did you apply this patch? I hope you didn't.
No, I was not sure.
> 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.
>
Ok, I change.
--
Autret Marc (address@hidden)
Eleve Ingenieur en Informatique.