# HG changeset patch
# User wenzelm
# Date 939478696 -7200
# Node ID a8a21d7a83a1b343428d5b4cb2899713c384849a
# Parent  eaf9e022eef386e02cf1db114813beb36622a7f5
removed 8bit;

diff -r eaf9e022eef3 -r a8a21d7a83a1 etc/isa-settings.el
--- a/etc/isa-settings.el	Fri Oct 08 17:07:10 1999 +0200
+++ b/etc/isa-settings.el	Sat Oct 09 16:18:16 1999 +0200
@@ -7,9 +7,3 @@
 ;; Misc settings
 
 (setq isa-use-sml-mode nil)
-
-
-;; Fonts and Keymaps
-
-(load (concat (getenv "ISABELLE_HOME") "/src/Tools/8bit/xemacs/isa_xemacs.emacs"
-))