diff options
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/isar/isar.el b/isar/isar.el index ee5ef811..4d08f5b3 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -9,11 +9,10 @@ ;; ;; Add Isabelle image onto splash screen -(customize-set-variable - 'proof-splash-extensions +(setq proof-splash-extensions '(list nil - (proof-splash-display-image "isabelle_transparent" t))) + (proof-get-image "isabelle_transparent" t))) (require 'proof) |