diff options
| author | David Aspinall | 2009-09-15 07:47:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-09-15 07:47:15 +0000 |
| commit | 682b4c17840aaa694cf3c7684bb5b06bcb4108c2 (patch) | |
| tree | 4eced173d60c3a2c2d81d7c2850364a2d8d06332 /lclam | |
| parent | b8bdbab2356aa0e68164143d3f78c73ad12197c7 (diff) | |
Fix compile errors
Diffstat (limited to 'lclam')
| -rw-r--r-- | lclam/lclam.el | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lclam/lclam.el b/lclam/lclam.el index 8bbfb00d..ae83e369 100644 --- a/lclam/lclam.el +++ b/lclam/lclam.el @@ -8,6 +8,9 @@ (require 'proof) ; load generic parts (require 'proof-syntax) +(eval-when-compile + (defvar lclam-toolbar-entries nil)) + ;; ;; =========== User settings for Lambda-CLAM ============ ;; @@ -33,8 +36,8 @@ "Configure Proof General scripting for Lambda-CLAM." (setq proof-terminal-char ?\. - proof-comment-start "/*" - proof-comment-end "*/" + proof-script-comment-start "/*" + proof-script-comment-end "*/" proof-goal-command-regexp "^pds_plan" proof-save-command-regexp nil proof-goal-with-hole-regexp nil @@ -45,7 +48,7 @@ proof-goal-command "^pds_plan %s." proof-save-command nil proof-kill-goal-command nil - proof-assistant-homepage lclam-web-page + proof-assistant-home-page lclam-web-page proof-auto-multiple-files nil proof-prog-name lclam-prog-name proof-shell-process-connection-type t |