chiark / gitweb /
admin: Rename the unknown-service error.
[tripe] / doc / wrestlers.tex
index 0f8cc00016040898384c1e9e5f96307a591c0312..8d1c2a94f7dba115f0b4e12f05c11ef321f3140c 100644 (file)
@@ -1,34 +1,12 @@
 %%% -*-latex-*-
 %%%
-%%% $Id: wrestlers.tex,v 1.6 2003/07/13 11:16:27 mdw Exp $
+%%% $Id: wrestlers.tex,v 1.7 2004/04/08 01:36:17 mdw Exp $
 %%%
 %%% Description of the Wrestlers Protocol
 %%%
 %%% (c) 2001 Mark Wooding
 %%%
 
-%%%----- Revision history ---------------------------------------------------
-%%%
-%%% $Log: wrestlers.tex,v $
-%%% Revision 1.6  2003/07/13 11:16:27  mdw
-%%% Much documentation progress.
-%%%
-%%% Revision 1.5  2002/01/13 14:55:31  mdw
-%%% More incomplete stuff.
-%%%
-%%% Revision 1.4  2001/06/29 19:36:05  mdw
-%%% Some progress made on laptop.
-%%%
-%%% Revision 1.3  2001/06/22 19:41:31  mdw
-%%% Restart with different structure and rather more formal objectives.
-%%%
-%%% Revision 1.2  2001/02/22 09:09:05  mdw
-%%% Partially through reworking.
-%%%
-%%% Revision 1.1  2001/02/16 21:43:33  mdw
-%%% Initial versions of documentation.
-%%%
-
 \newif\iffancystyle\fancystyletrue
 
 \iffancystyle