diff options
| author | David Aspinall | 1999-11-12 13:00:34 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-12 13:00:34 +0000 |
| commit | c1fd2b8375a0b2722b11ca8f0866520f272e5ad4 (patch) | |
| tree | d50bc58581c219b23498f451ac055a5e5b968b17 | |
| parent | d27ea1161037ad33d29d0a6ceb5f3c0cfe86154e (diff) | |
Typo in x-symbol enable
| -rw-r--r-- | generic/proof-x-symbol.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index bd78d22c..4fc6a552 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -51,7 +51,8 @@ If ERROR is non-nil, give error on failure, otherwise a warning." (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")) - ((not (and (boundp 'console-type) (eq (console-type) 'x))) + ((not (and (fboundp 'console-type) ; FSF doesn't have this + (eq (console-type) 'x))) ; (window-system) instead (funcall error-or-warn "Proof General: x-symbol package only runs under X!")) ((or (not (fboundp 'x-symbol-initialize)) |