| author | wenzelm |
| Wed, 14 May 1997 19:27:21 +0200 | |
| changeset 3188 | 445555a7b714 |
| child 3217 | d30d62128fe5 |
| permissions | -rw-r--r-- |
\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}