diff options
| author | David Aspinall | 2000-03-10 04:21:42 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-03-10 04:21:42 +0000 |
| commit | 0960393a1f2db7f2ae39945cd44f7df7e1370ba7 (patch) | |
| tree | 39a2638f9c6c9f09354ea57ac71808f5537eafe0 | |
| parent | 729eea95c95446f6bb5e3cdc4fe1c59549030d74 (diff) | |
Comment.
| -rw-r--r-- | generic/proof-config.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index 0693fdbf..0cd7058d 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1412,7 +1412,7 @@ to do syntax highlighting with font-lock." (defcustom proof-shell-process-connection-type ;; Use ptys unless it seems like we're on Solaris. Only have - ;; a good chance to guess on XEmacs which provides shell-command-to-string + ;; a good chance to guess if shell-command-to-string available. (if (fboundp 'shell-command-to-string) (not (string-match "[sS]un" (shell-command-to-string "uname"))) t) |