isabelle: doc-src/System/fonts.tex@445555a7b714 (annotated)

3188 445555a7b714 preliminary! wenzelm parents: diff changeset	1
445555a7b714 preliminary! wenzelm parents: diff changeset	2	\chapter{Fonts and character encodings}
445555a7b714 preliminary! wenzelm parents: diff changeset	3
445555a7b714 preliminary! wenzelm parents: diff changeset	4	\section{ --- \texttt{isatool installfonts}}
445555a7b714 preliminary! wenzelm parents: diff changeset	5
445555a7b714 preliminary! wenzelm parents: diff changeset	6	\begin{ttbox}
445555a7b714 preliminary! wenzelm parents: diff changeset	7	Usage: isatool installfonts
445555a7b714 preliminary! wenzelm parents: diff changeset	8
445555a7b714 preliminary! wenzelm parents: diff changeset	9	Install the isabelle fonts into your X11 server.
445555a7b714 preliminary! wenzelm parents: diff changeset	10	(May be savely called repeatedly.)
445555a7b714 preliminary! wenzelm parents: diff changeset	11	\end{ttbox}
445555a7b714 preliminary! wenzelm parents: diff changeset	12
445555a7b714 preliminary! wenzelm parents: diff changeset	13
445555a7b714 preliminary! wenzelm parents: diff changeset	14	\section{ --- \texttt{isatool symbolinput}}
445555a7b714 preliminary! wenzelm parents: diff changeset	15
445555a7b714 preliminary! wenzelm parents: diff changeset	16
445555a7b714 preliminary! wenzelm parents: diff changeset	17	%FIXME not yet
445555a7b714 preliminary! wenzelm parents: diff changeset	18	%\section{ --- \texttt{isatool showsymbols}}
445555a7b714 preliminary! wenzelm parents: diff changeset	19	%
445555a7b714 preliminary! wenzelm parents: diff changeset	20	%\begin{ttbox}
445555a7b714 preliminary! wenzelm parents: diff changeset	21	%\end{ttbox}

author	wenzelm
	Wed, 14 May 1997 19:27:21 +0200
changeset 3188	445555a7b714
child 3217	d30d62128fe5
permissions	-rw-r--r--