[next] [prev] [prev-tail] [tail] [up]
Old latex files need \no:fonts, but not new ones.—wrong, as far as writing to toc in 0.0?
\Hnewline is needed at end of file to avoid loosing the last line under some applications.
[next] [prev] [prev-tail] [front] [up]