removed gererated files
authoroheimb
Wed Nov 05 15:36:54 1997 +0100 (1997-11-05)
changeset 4166610d17d32b9e
parent 4165 42f2619adfd7
child 4167 c71e101c5bd8
removed gererated files
src/Tools/8bit/doc/Set2.dvi
src/Tools/8bit/doc/Set2.tex
src/Tools/8bit/doc/Set2a.tex
src/Tools/8bit/doc/fkmatrix.dvi
src/Tools/8bit/doc/fkmatrix.tex
src/Tools/8bit/doc/fontindex.dvi
src/Tools/8bit/doc/fontindex.tex
src/Tools/8bit/doc/keyindex.dvi
src/Tools/8bit/doc/keyindex.tex
src/Tools/8bit/doc/manual.dvi
     1.1 Binary file src/Tools/8bit/doc/Set2.dvi has changed
     2.1 --- a/src/Tools/8bit/doc/Set2.tex	Wed Nov 05 15:36:40 1997 +0100
     2.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     2.3 @@ -1,17 +0,0 @@
     2.4 -\documentstyle[11pt,a4,latexsym,amssymb,isa2latex]{article}
     2.5 -\begin{document}
     2.6 -{\isamode
     2.7 -\begin{tabbing}
     2.8 -xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=\kill{}\hspace{-1ex}
     2.9 -consts\\
    2.10 -\>Ball\>::\ "\mbox{$\alpha$}\ set\ \mbox{$\Rightarrow$}\ (\mbox{$\alpha$}\ \mbox{$\Rightarrow$}\ bool)\ \mbox{$\Rightarrow$}\ bool"\\
    2.11 -syntax\\
    2.12 -\>"@Ball"\>::\ "pttrn\ \mbox{$\Rightarrow$}\ \mbox{$\alpha$}\ set\ \mbox{$\Rightarrow$}\ bool\ \mbox{$\Rightarrow$}\ bool"\>\>\>\>\>("(3\mbox{$\forall$}\_\mbox{$\in$}\_./\ \_)"\ 10)\\
    2.13 -translations\\
    2.14 -\>\>"\mbox{$\forall$}x\mbox{$\in$}A.\ P"\ \mbox{$\equiv$}\ "Ball\ A\ (\mbox{$\lambda$}x.\ P)"\\
    2.15 -defs\\
    2.16 -\ \ \ \ \ Ball\_def\>\>"Ball\ A\ P\ \mbox{$\equiv$}\ \mbox{$\forall$}x.\ x\mbox{$\in$}A\ \mbox{$\longrightarrow$}\ P\ x"\\
    2.17 -\\
    2.18 -
    2.19 -\end{tabbing}}
    2.20 -\end{document}
     3.1 --- a/src/Tools/8bit/doc/Set2a.tex	Wed Nov 05 15:36:40 1997 +0100
     3.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     3.3 @@ -1,17 +0,0 @@
     3.4 -\documentstyle[11pt,a4,latexsym,amssymb,isa2latex]{article}
     3.5 -\begin{document}
     3.6 -{\isamode
     3.7 -\begin{tabbing}
     3.8 -xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=xxxxxxxx\=\kill{}\hspace{-1ex}
     3.9 -consts\\
    3.10 -\>Ball\>::\ "{}'a\ set\ \mbox{$\Rightarrow$}\ ('a\ \mbox{$\Rightarrow$}\ bool)\ \mbox{$\Rightarrow$}\ bool"{}\\
    3.11 -syntax\\
    3.12 -\>"{}\mbox{$\varepsilon$}Ball"{}\>::\ "{}pttrn\ \mbox{$\Rightarrow$}\ 'a\ set\ \mbox{$\Rightarrow$}\ bool\ \mbox{$\Rightarrow$}\ bool"{}\>\>\>\>\>("{}(3\mbox{$\forall$}\_\mbox{$\in$}\_./\ \_)"{}\ 10)\\
    3.13 -translations\\
    3.14 -\>\>"{}\mbox{$\forall$}x\mbox{$\in$}A.\ P"{}\ \mbox{$=$}\mbox{$=$}\ "{}Ball\ A\ (\mbox{$\lambda$}x.\ P)"{}\\
    3.15 -defs\\
    3.16 -\ \ \ \ \ Ball\_def\>\>"{}Ball\ A\ P\ \mbox{$\equiv$}\ \mbox{$\forall$}x.\ x\mbox{$\in$}A\ \mbox{$\longrightarrow$}\ P\ x"{}\\
    3.17 -\\
    3.18 -
    3.19 -\end{tabbing}}
    3.20 -\end{document}
     4.1 Binary file src/Tools/8bit/doc/fkmatrix.dvi has changed
     5.1 --- a/src/Tools/8bit/doc/fkmatrix.tex	Wed Nov 05 15:36:40 1997 +0100
     5.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     5.3 @@ -1,32 +0,0 @@
     5.4 -\documentclass[a4paper,11pt]{article}
     5.5 -\usepackage{latexsym,latexsym,amssymb,supertab}
     5.6 -
     5.7 -\begin{document}
     5.8 -
     5.9 -\begin{center}
    5.10 -{\Large 
    5.11 -  Keyboard Mapping for Function Keys F1 - F12}\\ 
    5.12 -  Date: \today 
    5.13 -
    5.14 -\vspace*{.5cm}
    5.15 -
    5.16 -\tablehead{\hline
    5.17 -Modifier & F1 &F2 &F3 &F4 &F5 &F6 &F7 &F8 &F9 & F10 &F11 &F12\\
    5.18 -\hline}
    5.19 -\tabletail{\hline}
    5.20 -
    5.21 -\begin{supertabular}{|l|l|l|l|l|l|l|l|l|l|l|l|l|}
    5.22 -None& & & & & & & & &\mbox{$\bigwedge$}&\mbox{$\Longrightarrow$}&\mbox{$\equiv$}&\mbox{$\not=$}\nextline
    5.23 -\hline
    5.24 -Shift&\mbox{$\Leftarrow$}&\mbox{$=$}&\mbox{$\Rightarrow$}&\mbox{$\Leftrightarrow$}&\mbox{$\oplus$}&\mbox{$\ominus$}&\mbox{$\otimes$}&\mbox{$\oslash$}&\mbox{$\natural$}&\mbox{$\infty$}&\mbox{$\le$}&\mbox{$\ge$}\nextline
    5.25 -\hline
    5.26 -Alt&\mbox{$\leftarrow$}&\mbox{$-$}&\mbox{$\rightarrow$}&\mbox{$\leftrightarrow$}&\mbox{$\twoheadrightarrow$}&\mbox{$\mapsto$}&\mbox{$\leadsto$}&\mbox{$\uparrow$}&\mbox{$\downarrow$}&\mbox{$\emptyset$}&\mbox{$\in$}&\mbox{$\notin$}\nextline
    5.27 -\hline
    5.28 -AltGraph&\mbox{$\cap$}&\mbox{$\cup$}&\mbox{$\bigcap$}&\mbox{$\bigcup$}&\mbox{$\subseteq$}&\mbox{$\Box$}&\mbox{$\Diamond$}&\mbox{$\circ$}&\mbox{$\bullet$}&\mbox{$\parallel$}&\mbox{$\surd$}&\mbox{\copyright}\nextline
    5.29 -\hline
    5.30 -Ctrl&\mbox{$\sqcap$}&\mbox{$\sqcup$}&\mbox{$\overline{|\,\,|}$}&\mbox{$\bigsqcup$}&\mbox{$\lceil$}&\mbox{$\rceil$}&\mbox{$\lfloor$}&\mbox{$\rfloor$}&\mbox{$(\!|$}&\mbox{$|\!)$}&\mbox{$[\![$}&\mbox{$]\!]$}\\
    5.31 -\hline
    5.32 -Meta& & & & & & & & & & & & \nextline
    5.33 -\end{supertabular}
    5.34 -\end{center}
    5.35 -\end{document}
     6.1 Binary file src/Tools/8bit/doc/fontindex.dvi has changed
     7.1 --- a/src/Tools/8bit/doc/fontindex.tex	Wed Nov 05 15:36:40 1997 +0100
     7.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     7.3 @@ -1,117 +0,0 @@
     7.4 -\documentclass[a4paper,11pt]{article}
     7.5 -\usepackage{latexsym,amssymb,supertab}
     7.6 -
     7.7 -\begin{document}
     7.8 -
     7.9 -\begin{center}
    7.10 -{\Large 
    7.11 -  Description of Isabelle Font \\ 
    7.12 -      Indexed by Code}\\
    7.13 -  Date: \today 
    7.14 -
    7.15 -\vspace*{.5cm}
    7.16 -
    7.17 -\tablehead{\hline
    7.18 -Oct & Dec & Hex & ASCII & \LaTeX & Key Sequence\\
    7.19 -\hline}
    7.20 -\tabletail{\hline}
    7.21 -
    7.22 -\begin{supertabular}{|l|l|l|l|l|l|}
    7.23 -241 & 161 & a1 & \verb*"\Gamma" & \mbox{$\Gamma$} & Alt G\nextline
    7.24 -242 & 162 & a2 & \verb*"\Delta" & \mbox{$\Delta$} & Alt D\nextline
    7.25 -243 & 163 & a3 & \verb*"\Theta" & \mbox{$\Theta$} & Alt J\nextline
    7.26 -244 & 164 & a4 & \verb*"LAM" & \mbox{$\Lambda$} & Alt L\nextline
    7.27 -245 & 165 & a5 & \verb*"\Pi" & \mbox{$\Pi$} & Alt P\nextline
    7.28 -246 & 166 & a6 & \verb*"\Sigma" & \mbox{$\Sigma$} & Alt S\nextline
    7.29 -247 & 167 & a7 & \verb*"\Phi" & \mbox{$\Phi$} & Alt F\nextline
    7.30 -250 & 168 & a8 & \verb*"\Psi" & \mbox{$\Psi$} & Alt Q\nextline
    7.31 -251 & 169 & a9 & \verb*"\Omega" & \mbox{$\Omega$} & Alt W\nextline
    7.32 -252 & 170 & aa & \verb*"'a" & \mbox{$\alpha$} & Alt a\nextline
    7.33 -253 & 171 & ab & \verb*"'b" & \mbox{$\beta$} & Alt b\nextline
    7.34 -254 & 172 & ac & \verb*"'c" & \mbox{$\gamma$} & Alt g\nextline
    7.35 -255 & 173 & ad & \verb*"\delta" & \mbox{$\delta$} & Alt d\nextline
    7.36 -256 & 174 & ae & \verb*"\varepsilon" & \mbox{$\varepsilon$} & Alt e\nextline
    7.37 -257 & 175 & af & \verb*"\zeta" & \mbox{$\zeta$} & Alt z\nextline
    7.38 -260 & 176 & b0 & \verb*"\eta" & \mbox{$\eta$} & Alt h\nextline
    7.39 -261 & 177 & b1 & \verb*"\vartheta" & \mbox{$\vartheta$} & Alt j\nextline
    7.40 -262 & 178 & b2 & \verb*"\kappa" & \mbox{$\kappa$} & Alt k\nextline
    7.41 -263 & 179 & b3 & \verb*"%" & \mbox{$\lambda$} & Alt l\nextline
    7.42 -264 & 180 & b4 & \verb*"\mu" & \mbox{$\mu$} & Alt m\nextline
    7.43 -265 & 181 & b5 & \verb*"\nu" & \mbox{$\nu$} & Alt n\nextline
    7.44 -266 & 182 & b6 & \verb*"\xi" & \mbox{$\xi$} & Alt x\nextline
    7.45 -267 & 183 & b7 & \verb*"\pi" & \mbox{$\pi$} & Alt p\nextline
    7.46 -270 & 184 & b8 & \verb*"'r" & \mbox{$\rho$} & Alt r\nextline
    7.47 -271 & 185 & b9 & \verb*"'s" & \mbox{$\sigma$} & Alt s\nextline
    7.48 -272 & 186 & ba & \verb*"'t" & \mbox{$\tau$} & Alt t\nextline
    7.49 -273 & 187 & bb & \verb*"\varphi" & \mbox{$\varphi$} & Alt f\nextline
    7.50 -274 & 188 & bc & \verb*"\chi" & \mbox{$\chi$} & Alt c\nextline
    7.51 -275 & 189 & bd & \verb*"\psi" & \mbox{$\psi$} & Alt q\nextline
    7.52 -276 & 190 & be & \verb*"\omega" & \mbox{$\omega$} & Alt w\nextline
    7.53 -277 & 191 & bf & \verb*"~" & \mbox{$\neg$} & AltGraph n\nextline
    7.54 -300 & 192 & c0 & \verb*"&" & \mbox{$\wedge$} & AltGraph a\nextline
    7.55 -301 & 193 & c1 & \verb*"|" & \mbox{$\vee$} & AltGraph o\nextline
    7.56 -302 & 194 & c2 & \verb*"!" & \mbox{$\forall$} & AltGraph f\nextline
    7.57 -303 & 195 & c3 & \verb*"?" & \mbox{$\exists$} & AltGraph t\nextline
    7.58 -304 & 196 & c4 & \verb*"!!" & \mbox{$\bigwedge$} & AltGraph F,  F9\nextline
    7.59 -305 & 197 & c5 & \verb*"\lceil" & \mbox{$\lceil$} & Ctrl F5\nextline
    7.60 -306 & 198 & c6 & \verb*"\rceil" & \mbox{$\rceil$} & Ctrl F6\nextline
    7.61 -307 & 199 & c7 & \verb*"\lfloor" & \mbox{$\lfloor$} & Ctrl F7\nextline
    7.62 -310 & 200 & c8 & \verb*"\rfloor" & \mbox{$\rfloor$} & Ctrl F8\nextline
    7.63 -311 & 201 & c9 & \verb*"(|" & \mbox{$(\!|$} & Ctrl F9\nextline
    7.64 -312 & 202 & ca & \verb*"|)" & \mbox{$|\!)$} & Ctrl F10\nextline
    7.65 -313 & 203 & cb & \verb*"[|" & \mbox{$[\![$} & Ctrl F11\nextline
    7.66 -314 & 204 & cc & \verb*"|]" & \mbox{$]\!]$} & Ctrl F12\nextline
    7.67 -315 & 205 & cd & \verb*"\emptyset" & \mbox{$\emptyset$} & Alt F10\nextline
    7.68 -316 & 206 & ce & \verb*":" & \mbox{$\in$} & Alt F11\nextline
    7.69 -317 & 207 & cf & \verb*"\subseteq" & \mbox{$\subseteq$} & AltGraph F5\nextline
    7.70 -320 & 208 & d0 & \verb*"Int" & \mbox{$\cap$} & AltGraph F1\nextline
    7.71 -321 & 209 & d1 & \verb*"Un" & \mbox{$\cup$} & AltGraph F2\nextline
    7.72 -322 & 210 & d2 & \verb*"Inter" & \mbox{$\bigcap$} & AltGraph F3\nextline
    7.73 -323 & 211 & d3 & \verb*"Union" & \mbox{$\bigcup$} & AltGraph F4\nextline
    7.74 -324 & 212 & d4 & \verb*"\sqcap" & \mbox{$\sqcap$} & Ctrl F1\nextline
    7.75 -325 & 213 & d5 & \verb*"\sqcup" & \mbox{$\sqcup$} & Ctrl F2\nextline
    7.76 -326 & 214 & d6 & \verb*"glb" & \mbox{$\overline{|\,\,|}$} & Ctrl F3\nextline
    7.77 -327 & 215 & d7 & \verb*"lub" & \mbox{$\bigsqcup$} & Ctrl F4\nextline
    7.78 -330 & 216 & d8 & \verb*"UU" & \mbox{$\perp$} & AltGraph b\nextline
    7.79 -331 & 217 & d9 & \verb*"===" & \mbox{$\doteq$} & AltGraph e\nextline
    7.80 -332 & 218 & da & \verb*"==" & \mbox{$\equiv$} & AltGraph E,  F11\nextline
    7.81 -333 & 219 & db & \verb*"~=" & \mbox{$\not=$} & AltGraph u,  F12\nextline
    7.82 -334 & 220 & dc & \verb*"\sqsubset" & \mbox{$\sqsubset$} & AltGraph p\nextline
    7.83 -335 & 221 & dd & \verb*"<<" & \mbox{$\sqsubseteq$} & AltGraph P\nextline
    7.84 -336 & 222 & de & \verb*"\prec" & \mbox{$\prec$} & AltGraph l\nextline
    7.85 -337 & 223 & df & \verb*"\preceq" & \mbox{$\preceq$} & AltGraph L\nextline
    7.86 -340 & 224 & e0 & \verb*"\succ" & \mbox{$\succ$} & AltGraph g\nextline
    7.87 -341 & 225 & e1 & \verb*"\succeq" & \mbox{$\succeq$} & AltGraph G\nextline
    7.88 -342 & 226 & e2 & \verb*"\sim" & \mbox{$\sim$} & AltGraph s\nextline
    7.89 -343 & 227 & e3 & \verb*"\simeq" & \mbox{$\simeq$} & AltGraph S\nextline
    7.90 -344 & 228 & e4 & \verb*"\le" & \mbox{$\le$} & Shift F11\nextline
    7.91 -345 & 229 & e5 & \verb*"\ge" & \mbox{$\ge$} & Shift F12\nextline
    7.92 -346 & 230 & e6 & \verb*"<-" & \mbox{$\leftarrow$} & Alt F1\nextline
    7.93 -347 & 231 & e7 & \verb*"-" & \mbox{$-$} & Alt F2\nextline
    7.94 -350 & 232 & e8 & \verb*"->" & \mbox{$\rightarrow$} & Alt F3, AltGraph m\nextline
    7.95 -351 & 233 & e9 & \verb*"<=" & \mbox{$\Leftarrow$} & Shift F1\nextline
    7.96 -352 & 234 & ea & \verb*"=" & \mbox{$=$} & Shift F2\nextline
    7.97 -353 & 235 & eb & \verb*"=>" & \mbox{$\Rightarrow$} & Shift F3, AltGraph M\nextline
    7.98 -354 & 236 & ec & \verb*"->>" & \mbox{$\twoheadrightarrow$} & Alt F5\nextline
    7.99 -355 & 237 & ed & \verb*"\mapsto" & \mbox{$\mapsto$} & Alt F6\nextline
   7.100 -356 & 238 & ee & \verb*"\leadsto" & \mbox{$\leadsto$} & Alt F7\nextline
   7.101 -357 & 239 & ef & \verb*"\uparrow" & \mbox{$\uparrow$} & Alt F8\nextline
   7.102 -360 & 240 & f0 & \verb*"\downarrow" & \mbox{$\downarrow$} & Alt F9\nextline
   7.103 -361 & 241 & f1 & \verb*"~:" & \mbox{$\notin$} & Alt F12\nextline
   7.104 -362 & 242 & f2 & \verb*"*" & \mbox{$\times$} & AltGraph x\nextline
   7.105 -363 & 243 & f3 & \verb*"++" & \mbox{$\oplus$} & Shift F5\nextline
   7.106 -364 & 244 & f4 & \verb*"\ominus" & \mbox{$\ominus$} & Shift F6\nextline
   7.107 -365 & 245 & f5 & \verb*"**" & \mbox{$\otimes$} & Shift F7\nextline
   7.108 -366 & 246 & f6 & \verb*"\oslash" & \mbox{$\oslash$} & Shift F8\nextline
   7.109 -367 & 247 & f7 & \verb*"\natural" & \mbox{$\natural$} & Shift F9, AltGraph N\nextline
   7.110 -370 & 248 & f8 & \verb*"\infty" & \mbox{$\infty$} & Shift F10\nextline
   7.111 -371 & 249 & f9 & \verb*"\Box" & \mbox{$\Box$} & AltGraph F6\nextline
   7.112 -372 & 250 & fa & \verb*"\Diamond" & \mbox{$\Diamond$} & AltGraph F7\nextline
   7.113 -373 & 251 & fb & \verb*"\circ" & \mbox{$\circ$} & AltGraph F8\nextline
   7.114 -374 & 252 & fc & \verb*"\bullet" & \mbox{$\bullet$} & AltGraph F9\nextline
   7.115 -375 & 253 & fd & \verb*"||" & \mbox{$\parallel$} & AltGraph F10\nextline
   7.116 -376 & 254 & fe & \verb*"\tick" & \mbox{$\surd$} & AltGraph F11\nextline
   7.117 -377 & 255 & ff & \verb*"\filter" & \mbox{\copyright} & AltGraph F12\\
   7.118 -\end{supertabular}
   7.119 -\end{center}
   7.120 -\end{document}
     8.1 Binary file src/Tools/8bit/doc/keyindex.dvi has changed
     9.1 --- a/src/Tools/8bit/doc/keyindex.tex	Wed Nov 05 15:36:40 1997 +0100
     9.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     9.3 @@ -1,128 +0,0 @@
     9.4 -\documentclass[a4paper,11pt]{article}
     9.5 -\usepackage{latexsym,amssymb,supertab}
     9.6 -
     9.7 -\begin{document}
     9.8 -
     9.9 -\begin{center}
    9.10 -{\Large 
    9.11 -  Description of Keyboard Mapping\\
    9.12 -      Indexed by Key Sequence}\\
    9.13 -  Date: \today 
    9.14 -
    9.15 -\vspace*{.5cm}
    9.16 -
    9.17 -\tablehead{\hline
    9.18 -Key Sequence & Code Sequence in Hex & \LaTeX \\
    9.19 -\hline}
    9.20 -\tabletail{\hline}
    9.21 -
    9.22 -\begin{supertabular}{|l|l|l|}
    9.23 - F9 & c4 & \mbox{$\bigwedge$}\nextline
    9.24 - F10 & ea,eb & \mbox{$\Longrightarrow$}\nextline
    9.25 - F11 & da & \mbox{$\equiv$}\nextline
    9.26 - F12 & db & \mbox{$\not=$}\nextline
    9.27 -Ctrl F1 & d4 & \mbox{$\sqcap$}\nextline
    9.28 -Ctrl F2 & d5 & \mbox{$\sqcup$}\nextline
    9.29 -Ctrl F3 & d6 & \mbox{$\overline{|\,\,|}$}\nextline
    9.30 -Ctrl F4 & d7 & \mbox{$\bigsqcup$}\nextline
    9.31 -Ctrl F5 & c5 & \mbox{$\lceil$}\nextline
    9.32 -Ctrl F6 & c6 & \mbox{$\rceil$}\nextline
    9.33 -Ctrl F7 & c7 & \mbox{$\lfloor$}\nextline
    9.34 -Ctrl F8 & c8 & \mbox{$\rfloor$}\nextline
    9.35 -Ctrl F9 & c9 & \mbox{$(\!|$}\nextline
    9.36 -Ctrl F10 & ca & \mbox{$|\!)$}\nextline
    9.37 -Ctrl F11 & cb & \mbox{$[\![$}\nextline
    9.38 -Ctrl F12 & cc & \mbox{$]\!]$}\nextline
    9.39 -Alt D & a2 & \mbox{$\Delta$}\nextline
    9.40 -Alt F & a7 & \mbox{$\Phi$}\nextline
    9.41 -Alt G & a1 & \mbox{$\Gamma$}\nextline
    9.42 -Alt J & a3 & \mbox{$\Theta$}\nextline
    9.43 -Alt L & a4 & \mbox{$\Lambda$}\nextline
    9.44 -Alt P & a5 & \mbox{$\Pi$}\nextline
    9.45 -Alt Q & a8 & \mbox{$\Psi$}\nextline
    9.46 -Alt S & a6 & \mbox{$\Sigma$}\nextline
    9.47 -Alt W & a9 & \mbox{$\Omega$}\nextline
    9.48 -Alt a & aa & \mbox{$\alpha$}\nextline
    9.49 -Alt b & ab & \mbox{$\beta$}\nextline
    9.50 -Alt c & bc & \mbox{$\chi$}\nextline
    9.51 -Alt d & ad & \mbox{$\delta$}\nextline
    9.52 -Alt e & ae & \mbox{$\varepsilon$}\nextline
    9.53 -Alt f & bb & \mbox{$\varphi$}\nextline
    9.54 -Alt g & ac & \mbox{$\gamma$}\nextline
    9.55 -Alt h & b0 & \mbox{$\eta$}\nextline
    9.56 -Alt j & b1 & \mbox{$\vartheta$}\nextline
    9.57 -Alt k & b2 & \mbox{$\kappa$}\nextline
    9.58 -Alt l & b3 & \mbox{$\lambda$}\nextline
    9.59 -Alt m & b4 & \mbox{$\mu$}\nextline
    9.60 -Alt n & b5 & \mbox{$\nu$}\nextline
    9.61 -Alt p & b7 & \mbox{$\pi$}\nextline
    9.62 -Alt q & bd & \mbox{$\psi$}\nextline
    9.63 -Alt r & b8 & \mbox{$\rho$}\nextline
    9.64 -Alt s & b9 & \mbox{$\sigma$}\nextline
    9.65 -Alt t & ba & \mbox{$\tau$}\nextline
    9.66 -Alt w & be & \mbox{$\omega$}\nextline
    9.67 -Alt x & b6 & \mbox{$\xi$}\nextline
    9.68 -Alt z & af & \mbox{$\zeta$}\nextline
    9.69 -Alt F1 & e6 & \mbox{$\leftarrow$}\nextline
    9.70 -Alt F2 & e7 & \mbox{$-$}\nextline
    9.71 -Alt F3 & e8 & \mbox{$\rightarrow$}\nextline
    9.72 -Alt F4 & e6,e8 & \mbox{$\leftrightarrow$}\nextline
    9.73 -Alt F5 & ec & \mbox{$\twoheadrightarrow$}\nextline
    9.74 -Alt F6 & ed & \mbox{$\mapsto$}\nextline
    9.75 -Alt F7 & ee & \mbox{$\leadsto$}\nextline
    9.76 -Alt F8 & ef & \mbox{$\uparrow$}\nextline
    9.77 -Alt F9 & f0 & \mbox{$\downarrow$}\nextline
    9.78 -Alt F10 & cd & \mbox{$\emptyset$}\nextline
    9.79 -Alt F11 & ce & \mbox{$\in$}\nextline
    9.80 -Alt F12 & f1 & \mbox{$\notin$}\nextline
    9.81 -AltGraph E & da & \mbox{$\equiv$}\nextline
    9.82 -AltGraph F & c4 & \mbox{$\bigwedge$}\nextline
    9.83 -AltGraph G & e1 & \mbox{$\succeq$}\nextline
    9.84 -AltGraph I & ea,eb & \mbox{$\Longrightarrow$}\nextline
    9.85 -AltGraph L & df & \mbox{$\preceq$}\nextline
    9.86 -AltGraph M & eb & \mbox{$\Rightarrow$}\nextline
    9.87 -AltGraph N & f7 & \mbox{$\natural$}\nextline
    9.88 -AltGraph P & dd & \mbox{$\sqsubseteq$}\nextline
    9.89 -AltGraph S & e3 & \mbox{$\simeq$}\nextline
    9.90 -AltGraph a & c0 & \mbox{$\wedge$}\nextline
    9.91 -AltGraph b & d8 & \mbox{$\perp$}\nextline
    9.92 -AltGraph e & d9 & \mbox{$\doteq$}\nextline
    9.93 -AltGraph f & c2 & \mbox{$\forall$}\nextline
    9.94 -AltGraph g & e0 & \mbox{$\succ$}\nextline
    9.95 -AltGraph i & e7,e8 & \mbox{$\longrightarrow$}\nextline
    9.96 -AltGraph l & de & \mbox{$\prec$}\nextline
    9.97 -AltGraph m & e8 & \mbox{$\rightarrow$}\nextline
    9.98 -AltGraph n & bf & \mbox{$\neg$}\nextline
    9.99 -AltGraph o & c1 & \mbox{$\vee$}\nextline
   9.100 -AltGraph p & dc & \mbox{$\sqsubset$}\nextline
   9.101 -AltGraph s & e2 & \mbox{$\sim$}\nextline
   9.102 -AltGraph t & c3 & \mbox{$\exists$}\nextline
   9.103 -AltGraph u & db & \mbox{$\not=$}\nextline
   9.104 -AltGraph x & f2 & \mbox{$\times$}\nextline
   9.105 -AltGraph F1 & d0 & \mbox{$\cap$}\nextline
   9.106 -AltGraph F2 & d1 & \mbox{$\cup$}\nextline
   9.107 -AltGraph F3 & d2 & \mbox{$\bigcap$}\nextline
   9.108 -AltGraph F4 & d3 & \mbox{$\bigcup$}\nextline
   9.109 -AltGraph F5 & cf & \mbox{$\subseteq$}\nextline
   9.110 -AltGraph F6 & f9 & \mbox{$\Box$}\nextline
   9.111 -AltGraph F7 & fa & \mbox{$\Diamond$}\nextline
   9.112 -AltGraph F8 & fb & \mbox{$\circ$}\nextline
   9.113 -AltGraph F9 & fc & \mbox{$\bullet$}\nextline
   9.114 -AltGraph F10 & fd & \mbox{$\parallel$}\nextline
   9.115 -AltGraph F11 & fe & \mbox{$\surd$}\nextline
   9.116 -AltGraph F12 & ff & \mbox{\copyright}\nextline
   9.117 -Shift F1 & e9 & \mbox{$\Leftarrow$}\nextline
   9.118 -Shift F2 & ea & \mbox{$=$}\nextline
   9.119 -Shift F3 & eb & \mbox{$\Rightarrow$}\nextline
   9.120 -Shift F4 & e9,eb & \mbox{$\Leftrightarrow$}\nextline
   9.121 -Shift F5 & f3 & \mbox{$\oplus$}\nextline
   9.122 -Shift F6 & f4 & \mbox{$\ominus$}\nextline
   9.123 -Shift F7 & f5 & \mbox{$\otimes$}\nextline
   9.124 -Shift F8 & f6 & \mbox{$\oslash$}\nextline
   9.125 -Shift F9 & f7 & \mbox{$\natural$}\nextline
   9.126 -Shift F10 & f8 & \mbox{$\infty$}\nextline
   9.127 -Shift F11 & e4 & \mbox{$\le$}\nextline
   9.128 -Shift F12 & e5 & \mbox{$\ge$}\\
   9.129 -\end{supertabular}
   9.130 -\end{center}
   9.131 -\end{document}
    10.1 Binary file src/Tools/8bit/doc/manual.dvi has changed