From bf9066e8b0b5c6f02a19cd4baeeae598a357675b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 7 Sep 2009 09:17:09 +0000 Subject: Fix compiler warnings --- isar/isar.el | 1 + lib/bufhist.el | 4 +++- 2 files changed, 4 insertions(+), 1 deletion(-) 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 ;; 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) -- cgit v1.2.3