Commit 9eb2ffa7de45875c628910830a5e022a3c6aae4b

Tom Tromey 1995-12-05T06:16:51

Many cleanups. Added --strictness option.