At 09:49 AM 11/6/2002 +, you wrote:
2. The page numbers in both the Contents page and the Index are
different from those in the text. I've not worked out in detail
where they are different but a couple of examples will suffice.
Appendix C is on page 99 according to the Contents page but it is
I normally use .ps rather than .pdf so, when I downloaded splint, I
also downloaded the manual.ps file. I normally use gv for both
viewing and printing and, for some reason, printing ceased at page 12
(printing even pages only). After struggling for a while, I downloaded
the .pdf file and managed t