diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2002-05-03 13:31:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2002-05-03 13:31:50 +0000 |
| commit | e305fa187464fa1a8e3f90b6625339c13a625dd1 (patch) | |
| tree | a34bdc77182fefe6645a38eca9f32de2d830343f | |
| parent | d719fa4ce2b99628f229d7a213025a690127c3a5 (diff) | |
Fix X-symbol URL
| -rw-r--r-- | generic/proof-x-symbol.el | 4 |
1 files 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 <proofgen@dcs.ed.ac.uk> ;; ;; 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!")) |