Hi Jorge,

2016-02-23 18:07 GMT+01:00 Jorge A. Alfaro-Murillo
<[email protected]>:
> Mosè Giordano writes:
>
>> What we need now are ideas and suggestions about the design of the logo,
>> so it's your time to chime in and share your thoughts!
>
>
> By the way, where does the name AUCTeX come from? I couldn't find in the
> manual or the website.

"AUC" comes from the name of the Aalborg University where the
development of the package started in the '80s, then named Aalborg
University Center.  I'm pretty sure it's written somewhere.

Bye,
Mosè

_______________________________________________
auctex mailing list
[email protected]
https://lists.gnu.org/mailman/listinfo/auctex

Reply via email to