david (12/10/82)
A bug whereby a document given with a style but no title page info. produced erroneous page numbering has been fixed. Checkms now checks for unterminated tables and equations.