infra: Expunge revision history clutter.

[mdwtools] / mdwthm.dtx

diff --git a/mdwthm.dtx b/mdwthm.dtx
index c90ca23..ea0f112 100644 (file)
--- a/mdwthm.dtx
+++ b/mdwthm.dtx
@@ -1,28 +1,11 @@
 % \begin{meta-comment}
 %
-% $Id: mdwthm.dtx,v 1.4 2003/09/06 11:25:54 mdw Exp $
+% $Id: mdwthm.dtx,v 1.5 2003/12/01 00:47:56 mdw Exp $
 %
 % Standard theorem typesetting
 %
 % (c) 2001 Mark Wooding
 %
-%----- Revision history -----------------------------------------------------
-%
-% $Log: mdwthm.dtx,v $
-% Revision 1.4  2003/09/06 11:25:54  mdw
-% Allow configuration of theorem numbering.
-%
-% Revision 1.3  2003/09/05 16:16:20  mdw
-% Various nips and tucks.  Redefine theorem styles from scratch now.
-%
-% Revision 1.2  2002/02/24 12:35:55  mdw
-% Fix handling of \chapter, in case some idiot has said `\csname
-% chapter\endcsname'.
-%
-% Revision 1.1  2002/02/03 20:49:03  mdw
-% Checkin for new build system.
-%
-%
 % \end{meta-comment}
 %
 % \begin{meta-comment} <general public licence>
@@ -53,7 +36,7 @@
 %<+thmstyle>             [2001/09/16 1.0 numbers-in-the-margin theorem style]
 % \end{meta-comment}
 %
-% \CheckSum{203}
+% \CheckSum{205}
 %% \CharacterTable
 %%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
 %%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z