# HG changeset patch
# User wenzelm
# Date 1152790913 -7200
# Node ID 4fcabd21e2aa1c8796212a6ce43af3f5b7b0bf83
# Parent  7923aacc10c6bf6d94204522bd3ee23c9ebea8f6
removed colon from sym category;

diff -r 7923aacc10c6 -r 4fcabd21e2aa doc-src/IsarRef/syntax.tex
--- a/doc-src/IsarRef/syntax.tex	Thu Jul 13 12:31:00 2006 +0200
+++ b/doc-src/IsarRef/syntax.tex	Thu Jul 13 13:41:53 2006 +0200
@@ -89,7 +89,7 @@
   latin & = & \verb,a, ~|~ \dots ~|~ \verb,z, ~|~ \verb,A, ~|~ \dots ~|~ \verb,Z, \\
   digit & = & \verb,0, ~|~ \dots ~|~ \verb,9, \\
   sym & = & \verb,!, ~|~ \verb,#, ~|~ \verb,$, ~|~ \verb,%, ~|~ \verb,&, ~|~  %$
-   \verb,*, ~|~ \verb,+, ~|~ \verb,-, ~|~ \verb,/, ~|~ \verb,:, ~|~ \\
+   \verb,*, ~|~ \verb,+, ~|~ \verb,-, ~|~ \verb,/, ~|~ \\
   & & \verb,<, ~|~ \verb,=, ~|~ \verb,>, ~|~ \verb,?, ~|~ \texttt{\at} ~|~
   \verb,^, ~|~ \verb,_, ~|~ \verb,|, ~|~ \verb,~, \\
 greek & = & \verb,\<alpha>, ~|~ \verb,\<beta>, ~|~ \verb,\<gamma>, ~|~ \verb,\<delta>, ~| \\