diff options
author | Makarius Wenzel <makarius@sketis.net> | 2013-07-05 12:19:22 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2013-07-05 12:19:22 +0000 |
commit | 8dd0f5262b6091e57fef626787557522b2d10661 (patch) | |
tree | 2421982708ae47b0182599d006d329b129b9ea97 /isar | |
parent | 51ccda80c16fe3101540c96ef117ddf581476687 (diff) |
more appropriate URL;
Diffstat (limited to 'isar')
-rw-r--r-- | isar/isar.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 5a491377..bc28d34d 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -57,7 +57,7 @@ See -k option for Isabelle interface script." (defpgdefault completion-table isar-keywords-major) (defcustom isar-web-page - "http://isabelle.in.tum.de/Isar/" + "http://isabelle.in.tum.de/" "URL of web page for Isabelle/Isar." :type 'string :group 'isabelle-isar) |