# HG changeset patch
# User wenzelm
# Date 1005261335 -3600
# Node ID b84046fb6e027927dd37734d5f09fea99f0e4f9f
# Parent  4027b15377a5784d5ef4b6da78db6066ec7e0560
no longer support "isabelle_font" or "symbols";

diff -r 4027b15377a5 -r b84046fb6e02 src/Pure/Interface/isamode.ML
--- a/src/Pure/Interface/isamode.ML	Fri Nov 09 00:14:17 2001 +0100
+++ b/src/Pure/Interface/isamode.ML	Fri Nov 09 00:15:35 2001 +0100
@@ -55,8 +55,7 @@
 (** run-time initialization **)
 
 fun init isamode =
-  if isamode then print_mode := [Symbol.isabelle_fontN, Symbol.symbolsN, isamodeN]
-  else print_mode := [Symbol.isabelle_fontN, Symbol.symbolsN];
+  if isamode then print_mode := isamodeN :: ! print_mode else ();
 
 
 end;