diff options
| author | Makarius Wenzel | 2000-09-28 13:17:09 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2000-09-28 13:17:09 +0000 |
| commit | 356fc45b14675617246804c7665211bb8c638753 (patch) | |
| tree | ba11469860a16ec412b05209ba0da5a3dea1339c | |
| parent | 58d1c6061a37c2028883bb4c19b138e11c6ed77f (diff) | |
isar-web-page;
| -rw-r--r-- | isar/isar.el | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index b5a2cc54..fb7f33f0 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -29,6 +29,11 @@ (setq load-path (cons (concat proof-home-directory "isa/") load-path)) (require 'isabelle-system) +(defcustom isar-web-page + "http://isabelle.in.tum.de/Isar/" + "URL of web page for Isabelle/Isar." + :type 'string + :group 'isabelle-isar) ;; Adjust toolbar entries (must be done before proof-toolbar is loaded). @@ -94,7 +99,7 @@ (defun isar-mode-config-set-variables () "Configure generic proof scripting mode variables for Isabelle/Isar." (setq - proof-assistant-home-page isabelle-web-page + proof-assistant-home-page isar-web-page proof-mode-for-script 'isar-mode ;; proof script syntax proof-terminal-char ?\; ; forcibly ends a command |