chiark
/
gitweb
/
~mdw
/
mdwtools
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
b57a27e
)
Fix checksum.
author
mdw
<mdw>
Mon, 1 Dec 2003 00:47:56 +0000
(
00:47
+0000)
committer
mdw
<mdw>
Mon, 1 Dec 2003 00:47:56 +0000
(
00:47
+0000)
mdwthm.dtx
patch
|
blob
|
blame
|
history
diff --git
a/mdwthm.dtx
b/mdwthm.dtx
index c90ca23fc6836d1dc86ae48443d1fd1112d5cf9b..d21854d9b1f2cf3067777e7e9cdad77820ada24a 100644
(file)
--- a/
mdwthm.dtx
+++ b/
mdwthm.dtx
@@
-1,6
+1,6
@@
% \begin{meta-comment}
%
% \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
%
%
% Standard theorem typesetting
%
@@
-9,6
+9,9
@@
%----- Revision history -----------------------------------------------------
%
% $Log: mdwthm.dtx,v $
%----- Revision history -----------------------------------------------------
%
% $Log: mdwthm.dtx,v $
+% Revision 1.5 2003/12/01 00:47:56 mdw
+% Fix checksum.
+%
% Revision 1.4 2003/09/06 11:25:54 mdw
% Allow configuration of theorem numbering.
%
% Revision 1.4 2003/09/06 11:25:54 mdw
% Allow configuration of theorem numbering.
%
@@
-53,7
+56,7
@@
%<+thmstyle> [2001/09/16 1.0 numbers-in-the-margin theorem style]
% \end{meta-comment}
%
%<+thmstyle> [2001/09/16 1.0 numbers-in-the-margin theorem style]
% \end{meta-comment}
%
-% \CheckSum{20
3
}
+% \CheckSum{20
5
}
%% \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
%% \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