--- 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 "&") {
--- 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}
--- 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}