diff options
author | David Aspinall <da@inf.ed.ac.uk> | 1998-11-03 18:40:32 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-03 18:40:32 +0000 |
commit | adef137ed74f4dd5577a32def2c9492496b0dffc (patch) | |
tree | 60088ab3ed4364298a7c23c4afa948bbd10a0e7b | |
parent | aa0f7e754ef127564062b5fb48b9f6c9be5957ad (diff) |
Being pedantic about variables versus predicates, renamed prog-name-ask-p.
-rw-r--r-- | generic/proof-config.el | 2 | ||||
-rw-r--r-- | generic/proof-script.el | 2 | ||||
-rw-r--r-- | generic/proof-shell.el | 2 | ||||
-rw-r--r-- | images/notes.txt | 13 |
4 files changed, 12 insertions, 7 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index dc516980..4ed17b58 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -59,7 +59,7 @@ ;; *not* normally be touched by prover specific code. ;; -(defcustom proof-prog-name-ask-p nil +(defcustom proof-prog-name-ask nil "*If non-nil, query user which program to run for the inferior process." :type 'boolean :group 'proof-general) diff --git a/generic/proof-script.el b/generic/proof-script.el index 2b6bd70e..aa59381c 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -406,7 +406,7 @@ the hooks `proof-activate-scripting-hook' are run." ;;; This code is still required as of FSF Emacs 20.2. ;;; ;;; I think bothering with this just to give completion for -;;; when proof-prog-name-ask-p=t is a big overkill! - da. +;;; when proof-prog-name-ask=t is a big overkill! - da. ;;; (defvar read-shell-command-map (let ((map (make-sparse-keymap 'read-shell-command-map))) diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 5c86180c..d3bc5bc0 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -175,7 +175,7 @@ Does nothing if proof assistant is already running." () (run-hooks 'proof-pre-shell-start-hook) (setq proof-included-files-list nil) - (if proof-prog-name-ask-p + (if proof-prog-name-ask (save-excursion (setq proof-prog-name (read-shell-command "Run process: " proof-prog-name)))) diff --git a/images/notes.txt b/images/notes.txt index f06be35e..c58eafc3 100644 --- a/images/notes.txt +++ b/images/notes.txt @@ -33,10 +33,15 @@ script fu -> logos -> comic book Then I filled background with web page colour, and shaded portion with green colour. - + +---- +Proof general logo: +Saved as eps for texi documentation. - - - + Width 3.00 " + Height 7.87 (keep aspect ration checked, height not edited though) + X-offset 2.8 " + Y-offset 1.0 " + Rotation: 0 |