From: Mark Wooding <mdw@distorted.org.uk>
Date: Wed, 1 Nov 2006 15:12:17 +0000 (+0000)
Subject: Merge branch 'master' of /home/mdw/public-git/mdwtools
X-Git-Tag: 1.8.0~18
X-Git-Url: https://git.distorted.org.uk/~mdw/mdwtools/commitdiff_plain/c8ea265ae80303acb1d20a8473294fc96c28e1ff?hp=-c

Merge branch 'master' of /home/mdw/public-git/mdwtools

* 'master' of /home/mdw/public-git/mdwtools:
  infra: Expunge revision history clutter.
---

c8ea265ae80303acb1d20a8473294fc96c28e1ff
diff --combined crypto.dtx
index e85502f,b233a2d..6c622a1
--- a/crypto.dtx
+++ b/crypto.dtx
@@@ -6,17 -6,6 +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>
@@@ -45,7 -34,7 +34,7 @@@
  %<+package>                [2001/09/16 1.0 Crypto typesetting]
  % \end{meta-comment}
  %
 -% \CheckSum{245}
 +% \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
@@@ -149,12 -138,6 +138,12 @@@
  % using the |\inr| command, which just typesets an $\in$ sign with a
  % subscript `R': `$\inr$'.
  %
 +% Should one wish, one can use a different character than `R' to denote
 +% randomness.  Some authors use `\$', for example.  I know of one
 +% (cheapskate?) author who has used `\rlap/c'.  Redefining the |\random|
 +% command lets you do this.  For example, you can say
 +% |\newcommand{\random}{\$}| should you so wish.
 +%
  % \DescribeMacro\id
  % Long identifiers can be typeset using the |\id| command. giving the
  % identifier name as an argument.  The |\id| command is only valid in maths
@@@ -230,7 -213,7 +219,7 @@@
  \RequirePackage{amstext}
  \RequirePackage{xspace}
  %    \end{macrocode}
 -
 +%
  % \subsection{Algorithm typsetting}
  %
  % \begin{macro}{\cookie}
@@@ -257,9 -240,8 +246,9 @@@
  % nicer.
  %
  %    \begin{macrocode}
 -\def\inr{\mathrel{\in_R}}
 -\def\getsr{\mathrel{\mathop{\gets}\limits^{\scriptscriptstyle R}}}
 +\providecommand\random{R}
 +\def\inr{\mathrel{\in_{\random}}}
 +\def\getsr{\mathrel{\mathop{\gets}\limits^{\scriptscriptstyle\random}}}
  %    \end{macrocode}
  %
  % \end{macro}
@@@ -296,9 -278,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}