# HG changeset patch
# User wenzelm
# Date 1125250930 -7200
# Node ID 11aa41ed306d6b9461a612b077f40189a8be2b47
# Parent  5616217e3cecffe0f3ecb68d8ad0784c72a263f4
ASCII back-quote no longer sym char;

diff -r 5616217e3cec -r 11aa41ed306d doc-src/IsarRef/syntax.tex
--- a/doc-src/IsarRef/syntax.tex	Sun Aug 28 16:35:39 2005 +0200
+++ b/doc-src/IsarRef/syntax.tex	Sun Aug 28 19:42:10 2005 +0200
@@ -89,7 +89,7 @@
   sym & = & \verb,!, ~|~ \verb,#, ~|~ \verb,$, ~|~ \verb,%, ~|~ \verb,&, ~|~  %$
    \verb,*, ~|~ \verb,+, ~|~ \verb,-, ~|~ \verb,/, ~|~ \verb,:, ~|~ \\
   & & \verb,<, ~|~ \verb,=, ~|~ \verb,>, ~|~ \verb,?, ~|~ \texttt{\at} ~|~
-  \verb,^, ~|~ \verb,_, ~|~ \verb,`, ~|~ \verb,|, ~|~ \verb,~, \\
+  \verb,^, ~|~ \verb,_, ~|~ \verb,|, ~|~ \verb,~, \\
 greek & = & \verb,\<alpha>, ~|~ \verb,\<beta>, ~|~ \verb,\<gamma>, ~|~ \verb,\<delta>, ~| \\
       &   & \verb,\<epsilon>, ~|~ \verb,\<zeta>, ~|~ \verb,\<eta>, ~|~ \verb,\<theta>, ~| \\
       &   & \verb,\<iota>, ~|~ \verb,\<kappa>, ~|~ \verb,\<mu>, ~|~ \verb,\<nu>, ~| \\