From 8dd0f5262b6091e57fef626787557522b2d10661 Mon Sep 17 00:00:00 2001
From: Makarius Wenzel <makarius@sketis.net>
Date: Fri, 5 Jul 2013 12:19:22 +0000
Subject: more appropriate URL;

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

(limited to 'isar')

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)
-- 
cgit v1.2.3