X-Git-Url: https://git.distorted.org.uk/~mdw/mdwtools/blobdiff_plain/34c694a8da0e3ff7e9c600789f3852d3b0457478..d3d35d4b9cd15420d2111264dab1977517b1d02e:/crypto.dtx

diff --git a/crypto.dtx b/crypto.dtx
index f9315bb..a966f69 100644
--- a/crypto.dtx
+++ b/crypto.dtx
@@ -6,17 +6,6 @@
 %
 % (c) 2001 Mark Wooding
 %
-%----- Revision history -----------------------------------------------------
-%
-% $Log: crypto.dtx,v $
-% Revision 1.2  2003/09/05 16:13:14  mdw
-% Various minor fettlings.  Fix paragraph formatting after programs.  More
-% Things.
-%
-% Revision 1.1  2002/02/03 20:49:03  mdw
-% Checkin for new build system.
-%
-%
 % \end{meta-comment}
 %
 % \begin{meta-comment} <general public licence>
@@ -28,12 +17,12 @@
 %% it under the terms of the GNU General Public License as published by
 %% the Free Software Foundation; either version 2 of the License, or
 %% (at your option) any later version.
-%% 
+%%
 %% This program is distributed in the hope that it will be useful,
 %% but WITHOUT ANY WARRANTY; without even the implied warranty of
 %% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 %% GNU General Public License for more details.
-%% 
+%%
 %% You should have received a copy of the GNU General Public License
 %% along with this program; if not, write to the Free Software Foundation,
 %% Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
@@ -45,7 +34,7 @@
 %<+package>                [2001/09/16 1.0 Crypto typesetting]
 % \end{meta-comment}
 %
-% \CheckSum{249}
+% \CheckSum{258}
 %% \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
@@ -191,7 +180,7 @@
 % \DescribeMacro\Game
 % \begin{synshorts}
 % Some standard `things' are provided: "\\Succ{"<notion>"}{"<scheme>"}",
-% "\\Adv{"<notion>"}{"<scheme>"}", "\\InSec{"<notion>"}", 
+% "\\Adv{"<notion>"}{"<scheme>"}", "\\InSec{"<notion>"}",
 % "\\Expt{"<notion>"}{"<scheme>"}", and "\\Game{"<notion>"}{"<scheme>"}".
 % \end{synshorts}
 %
@@ -210,12 +199,12 @@
 % \syntax{"\\Perm{"<L>"}"} typeset $\Func{l}{L}$ and $\Perm{L}$ respectively,
 % and are intended to denote the sets of all functions $F\colon \{0, 1\}^l
 % \to \{0, 1\}^L$ and all permutations $\Pi\colon \{0, 1\}^L \to \{0, 1\}^L$
-% respectively. 
+% respectively.
 %
 % \DescribeMacro\PKCS
 % Finally, the |\PKCS| macro typesets `\PKCS{$n$}', allowing you to name RSA
 % Security Inc.'s Public Key Cryptography Standards in a relatively nice way.
-% 
+%
 % \implementation
 %
 %
@@ -296,6 +285,9 @@
 \def\PARSE{\kw{parse}}
 \def\AS{\kw{as}}
 \def\NEW{\ifmmode\mathop{\kw{new}}\else\kw{new}\fi}
+\def\SEND{\kw{send}}
+\def\OUTPUT{\kw{output}}
+\def\STOP{\kw{stop}}
 %    \end{macrocode}
 %
 % \begin{environment}{program}