Am 04.02.2008 um 17:33 schrieb Alain Schremmer:
> What I would like is also to have the time of the last save of the
> source text.
I have some code from Heiko Oberdiek that works only with pdfTeX
version > 1.30.
--
Greetings
Pete
November, n.:
The eleventh twelfth of a weariness.
– Ambrose Bierce, "The Devil's Dictionary"