[tex-live] Better ways to find packages and documentation

[Florent Rougon]

Arthur Reutenauer <arthur.reutenauer at normalesup.org> wrote:

>> But I know there is a guy from the ENS (École Normale Supérieure)
>> reading this list; that would be great if he could arrange to invite you
>> for a talk. :)
>
>   If you mean me, I'm afraid I couldn't be of much help; I'm only a
> former student and do not have much contacts with the faculty staff
> anymore.

Yes, I meant you. :)

> Although... what is that talk Norbert is supposed to give exactly (I'm
> sorry, I was not following ;-)?

Well, I don't know more details than "logic and mathematics", so I'll
let Norbert fill in the space.

-- 
Florent