diff options
author | 1998-10-21 10:14:44 +0000 | |
---|---|---|
committer | 1998-10-21 10:14:44 +0000 | |
commit | e0e7e40ab33ba12033834a83839d1333f7b229a8 (patch) | |
tree | b7cb4b8610a172d6d56bfe62fc603efb1b17cc50 /lego | |
parent | 5c80e1c3da263e208f16d2e589330b458ac61483 (diff) |
Changed fset to setq, removed retract-command mention (for now?).
Diffstat (limited to 'lego')
-rw-r--r-- | lego/lego.el | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/lego/lego.el b/lego/lego.el index 73a88e59..94d5f82c 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -514,8 +514,10 @@ We assume that module identifiers coincide with file names." ;;the response, the goal buffer and the script font-lock-keywords lego-font-lock-keywords-1) - (fset 'proof-retract-command 'lego-retract-command) - (fset 'proof-shell-compute-new-files-list +;; FIXME: da: I've removed this, I think fset is bad and proof-retract-command +;; doesn't seem to exist. +;; (fset 'proof-retract-command 'lego-retract-command) + (setq proof-shell-compute-new-files-list 'lego-shell-compute-new-files-list) (lego-init-syntax-table) |