I have consulted with upstream, and apparently the original LaTeX used
to produce this document has been lost. Ideally, someone will
manually recreate some LaTeX sources. But given the circumstances, I
do not believe that this is a show stopper: as of today, the DjVu file
is the preferred existing form of the information for making changes,
as it is the *only* existing form of the information. Naturally I
would be the first to acknowledge that such modification would be a
rather awkward process.
Unless there are objections, this seems like a good reason to lower
the severity of this report to wishlist, and to being the search for a
sucker, I mean person, who will agree to undertake the reLaTeXing.
--Barak.
--
Barak A. Pearlmutter <[email protected]>
Hamilton Institute & Dept Comp Sci, NUI Maynooth, Co. Kildare, Ireland
http://www.bcl.hamilton.ie/~barak/
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
