diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/isar/isar.el b/isar/isar.el index 9b6581f4..dc716f35 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -8,12 +8,6 @@ ;; $Id$ ;; -;; Add Isabelle image onto splash screen -(setq proof-splash-extensions - '(list - nil - (proof-get-image "isabelle_transparent" t))) - (require 'proof) ;; |