more symbols;
authorwenzelm
Wed Jan 24 20:56:12 2001 +0100 (2001-01-24)
changeset 10974f23a58cf12a4
parent 10973 5b0d04078d2a
child 10975 32ba04b00ec0
more symbols;
doc-src/System/showsymbols
doc-src/System/symbols.tex
doc-src/System/system.tex
     1.1 --- a/doc-src/System/showsymbols	Wed Jan 24 20:55:29 2001 +0100
     1.2 +++ b/doc-src/System/showsymbols	Wed Jan 24 20:56:12 2001 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  while (<ARGV>) {
     1.6      if (m/^\\newcommand\{\\isasym([A-Za-z]+)\}/) {
     1.7 -        print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
     1.8 +       print "\\verb,\\<$1>, & {\\isasym$1} $eol\n";
     1.9  #       print "\\verb,\\<$1>, & B\\isactrlsup{\\isasym$1} $eol\n";
    1.10  #       print "\\verb,\\<$1>, & B\\isactrlsub{\\isasym$1} $eol\n";
    1.11          if ("$eol" eq "&") {
     2.1 --- a/doc-src/System/symbols.tex	Wed Jan 24 20:55:29 2001 +0100
     2.2 +++ b/doc-src/System/symbols.tex	Wed Jan 24 20:56:12 2001 +0100
     2.3 @@ -7,8 +7,8 @@
     2.4  represented in source text as \verb,\<,$name$\verb,>, (where $name$ may be any
     2.5  identifier).  It is left to front-end tools how these symbols are presented to
     2.6  the user.  The following predefined standard symbols are available by default
     2.7 -for Isabelle document output; they are also supported by Proof~General when
     2.8 -used together with the X-Symbol package.
     2.9 +for Isabelle document output; most of these are also supported by
    2.10 +Proof~General when used together with the X-Symbol package.
    2.11  
    2.12  \begin{center}
    2.13    \input{syms}  
     3.1 --- a/doc-src/System/system.tex	Wed Jan 24 20:55:29 2001 +0100
     3.2 +++ b/doc-src/System/system.tex	Wed Jan 24 20:56:12 2001 +0100
     3.3 @@ -8,6 +8,7 @@
     3.4  \usepackage[latin1]{inputenc}
     3.5  \usepackage[only,bigsqcap]{stmaryrd}
     3.6  \usepackage{wasysym}
     3.7 +\usepackage{eufrak}
     3.8  \usepackage{supertabular}
     3.9  \let\intorig=\int  %iman.sty redefines \int
    3.10  \usepackage{graphicx,../iman,../extra,../ttbox,../../Distribution/lib/texinputs/isabelle,../../Distribution/lib/texinputs/isabellesym,../pdfsetup}