# HG changeset patch
# User wenzelm
# Date 980366172 -3600
# Node ID f23a58cf12a44f4d239387526f4e71940590675f
# Parent  5b0d04078d2acc45a3d3daca7d840c695443edbe
more symbols;

diff -r 5b0d04078d2a -r f23a58cf12a4 doc-src/System/showsymbols
--- a/doc-src/System/showsymbols	Wed Jan 24 20:55:29 2001 +0100
+++ b/doc-src/System/showsymbols	Wed Jan 24 20:56:12 2001 +0100
@@ -8,7 +8,7 @@
 
 while (<ARGV>) {
     if (m/^\\newcommand\{\\isasym([A-Za-z]+)\}/) {
-        print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
+       print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
 #       print "\\verb,\\<$1>, & B\\isactrlsup{\\isasym$1} $eol\n";
 #       print "\\verb,\\<$1>, & B\\isactrlsub{\\isasym$1} $eol\n";
         if ("$eol" eq "&") {
diff -r 5b0d04078d2a -r f23a58cf12a4 doc-src/System/symbols.tex
--- a/doc-src/System/symbols.tex	Wed Jan 24 20:55:29 2001 +0100
+++ b/doc-src/System/symbols.tex	Wed Jan 24 20:56:12 2001 +0100
@@ -7,8 +7,8 @@
 represented in source text as \verb,\<,$name$\verb,>, (where $name$ may be any
 identifier).  It is left to front-end tools how these symbols are presented to
 the user.  The following predefined standard symbols are available by default
-for Isabelle document output; they are also supported by Proof~General when
-used together with the X-Symbol package.
+for Isabelle document output; most of these are also supported by
+Proof~General when used together with the X-Symbol package.
 
 \begin{center}
   \input{syms}  
diff -r 5b0d04078d2a -r f23a58cf12a4 doc-src/System/system.tex
--- a/doc-src/System/system.tex	Wed Jan 24 20:55:29 2001 +0100
+++ b/doc-src/System/system.tex	Wed Jan 24 20:56:12 2001 +0100
@@ -8,6 +8,7 @@
 \usepackage[latin1]{inputenc}
 \usepackage[only,bigsqcap]{stmaryrd}
 \usepackage{wasysym}
+\usepackage{eufrak}
 \usepackage{supertabular}
 \let\intorig=\int  %iman.sty redefines \int
 \usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup}