From d74ddc0eab1e4ed3b182bee4975ff4c2bfe0048f Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 11 Aug 2010 19:51:39 +0000 Subject: Move some var+macro to fix compilation --- generic/pg-pamacs.el | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'generic/pg-pamacs.el') diff --git a/generic/pg-pamacs.el b/generic/pg-pamacs.el index 87f54cfd..5e7d1830 100644 --- a/generic/pg-pamacs.el +++ b/generic/pg-pamacs.el @@ -34,6 +34,20 @@ ;;; Code: +(defmacro deflocal (var value &optional docstring) + "Define a buffer local variable VAR with default value VALUE." + `(progn + (defvar ,var nil ,docstring) + (make-variable-buffer-local (quote ,var)) + (setq-default ,var ,value))) + +(deflocal proof-buffer-type nil + "Symbol for the type of this buffer: 'script, 'shell, 'goals, or 'response.") + + +;; +;; Main macros +;; (defmacro proof-ass-sym (sym) "Return the symbol for SYM for the current prover. SYM not evaluated. -- cgit v1.2.3