From ee91c3f2f1dd5f2f731db385134f38726b37b7ca Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 10 Sep 2009 23:04:40 +0000 Subject: Experimental changes to queue several commands at once and to allow pre-processing of commands when they're queued from script --- generic/proof-maths-menu.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'generic/proof-maths-menu.el') diff --git a/generic/proof-maths-menu.el b/generic/proof-maths-menu.el index fdc1f7e0..4195a7dc 100644 --- a/generic/proof-maths-menu.el +++ b/generic/proof-maths-menu.el @@ -1,6 +1,6 @@ ;; proof-maths-menu.el Support for maths menu mode package ;; -;; Copyright (C) 2007 LFCS Edinburgh / David Aspinall +;; Copyright (C) 2007, 2009 LFCS Edinburgh / David Aspinall ;; Author: David Aspinall ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; -- cgit v1.2.3