From e305fa187464fa1a8e3f90b6625339c13a625dd1 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Fri, 3 May 2002 13:31:50 +0000 Subject: Fix X-symbol URL --- generic/proof-x-symbol.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index d93da807..3c383b82 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -5,7 +5,7 @@ ;; Maintainer: Proof General maintainer ;; ;; The X-Symbol package is currently available at -;; http://www.fmi.uni-passau.de/~wedler/x-symbol +;; http://x-symbol.sourceforge.net/ ;; ;; With thanks to David von Oheimb for providing the original ;; patches for using X-Symbol with Isabelle Proof General, @@ -51,7 +51,7 @@ If ERROR is non-nil, give error on failure, otherwise a warning." (not (proof-try-require 'x-symbol))) (funcall error-or-warn "Proof General: x-symbol package must be installed for x-symbol-support! -The package is available at http://www.fmi.uni-passau.de/~wedler/x-symbol")) +The package is available at http://x-symbol.sourceforge.net/")) ((not window-system) (funcall error-or-warn "Proof General: x-symbol package only runs under a window system!")) -- cgit v1.2.3