diff options
| -rw-r--r-- | isar/isar.el | 1 | ||||
| -rw-r--r-- | lib/bufhist.el | 4 |
2 files changed, 4 insertions, 1 deletions
diff --git a/isar/isar.el b/isar/isar.el index 25572319..6985d309 100644 --- a/isar/isar.el +++ b/isar/isar.el @@ -23,6 +23,7 @@ (require 'pg-goals) (require 'pg-vars) (defvar outline-heading-end-regexp nil) + (defvar comment-quote-nested nil) (proof-ready-for-assistant 'isar)) ; compile for isar (require 'isabelle-system) ; system code diff --git a/lib/bufhist.el b/lib/bufhist.el index 9ef3b6b9..9ce1e8ae 100644 --- a/lib/bufhist.el +++ b/lib/bufhist.el @@ -1,6 +1,6 @@ ;; bufhist.el --- keep read-only history of buffer contents for browsing -;; Copyright (C) 2006 David Aspinall / University of Edinburgh +;; Copyright (C) 2006, 2009 David Aspinall / University of Edinburgh ;; Author: David Aspinall <David.Aspinall@ed.ac.uk> ;; License: GPL (GNU GENERAL PUBLIC LICENSE) @@ -29,6 +29,8 @@ (require 'ring) +(declare-function bufhist-ordinary-erase-buffer "bufhist") + ;;; First a function which ought to be in ring.el (defun bufhist-ring-update (ring index newitem) |