doc-src/System/fonts.tex

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/doc-src/System/fonts.tex	Wed May 14 19:27:21 1997 +0200
@@ -0,0 +1,21 @@
+
+\chapter{Fonts and character encodings}
+
+\section{ --- \texttt{isatool installfonts}}
+
+\begin{ttbox}
+Usage: isatool installfonts
+
+  Install the isabelle fonts into your X11 server.
+  (May be savely called repeatedly.)
+\end{ttbox}
+
+
+\section{ --- \texttt{isatool symbolinput}}
+
+
+%FIXME not yet
+%\section{ --- \texttt{isatool showsymbols}}
+%
+%\begin{ttbox}
+%\end{ttbox}