Various nips and tucks. Redefine theorem styles from scratch now.
[mdwtools] / syntax.dtx
2003-09-05 mdwFix bizarre box-leakage bug.
2002-02-19 mdwInsert correct checksums.
2002-02-03 mdwCheckin for new build system.