From e9a4676803d3dc1f60ac2dfad7b7a567286d7377 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 16 Jul 2002 17:16:15 +0000
Subject: Add more nags

---
 isar/isar.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/isar/isar.el b/isar/isar.el
index 691813fc..6d56eb73 100644
--- a/isar/isar.el
+++ b/isar/isar.el
@@ -22,7 +22,8 @@
 ;;
 (setq load-path (cons (concat proof-home-directory "isa/") load-path))
 (require 'isabelle-system)
-(require 'x-symbol-isabelle) ;; FIXME: ought to be auto-loaded later
+(require 'x-symbol-isabelle) ;; FIXME: ought to be auto-loaded later,
+			     ;; and only if required.
 
 ;;
 ;; Load syntax
-- 
cgit v1.2.3