diff options
author | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-04-27 16:25:33 +0000 |
---|---|---|
committer | Thomas Kleymann <da+pg-tms@inf.ed.ac.uk> | 1998-04-27 16:25:33 +0000 |
commit | 36bcd20eb27287161c061ee1872ccb877a5387a7 (patch) | |
tree | 103a454cef53c850f8aeda9c860d2c95af8bd140 | |
parent | 73638e382abfaf7486357c3aaf3a9ec83278f576 (diff) |
removed explicit reference to a binary in ctm's home directory
-rw-r--r-- | lego.el | 16 |
1 files changed, 9 insertions, 7 deletions
@@ -5,6 +5,9 @@ ;; $Log$ +;; Revision 1.38 1998/04/27 16:25:33 tms +;; removed explicit reference to a binary in ctm's home directory +;; ;; Revision 1.37 1998/03/25 17:30:41 tms ;; added support for etags at generic proof level ;; @@ -161,7 +164,7 @@ ;; ----- lego-shell configuration options -(defvar lego-prog-name "/home/ctm/lego/bin/legoML" +(defvar lego-prog-name "lego" "*Name of program to run as lego.") (defvar lego-shell-working-dir "" @@ -189,12 +192,11 @@ (defvar lego-forget-id-command "Forget ") (defvar lego-undoable-commands-regexp - (ids-to-regexp '("\\`Dnf\\'" "Refine" "Intros" "intros" "Next" "Qrepl" "Claim" - "For" "Repeat" "Succeed" "Fail" "Try" "Assumption" "UTac" - "Qnify" "AndE" "AndI" "exE" "exI" "orIL" "orIR" "orE" - "ImpI" "impE" "notI" "notE" "allI" "allE" "Expand" - "Induction" "Immed")) - "Undoable list") + (ids-to-regexp '("Dnf" "Refine" "Intros" "intros" "Next" "Normal" + "Qrepl" "Claim" "For" "Repeat" "Succeed" "Fail" "Try" "Assumption" + "UTac" "Qnify" "AndE" "AndI" "exE" "exI" "orIL" "orIR" "orE" "ImpI" + "impE" "notI" "notE" "allI" "allE" "Expand" "Induction" "Immed" + "Invert")) "Undoable list") ;; ----- outline |