diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 23:04:40 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-10 23:04:40 +0000 |
commit | ee91c3f2f1dd5f2f731db385134f38726b37b7ca (patch) | |
tree | d9cb381181a462fdbfab57f7e1f0d4e67ce567b2 /generic/proof-maths-menu.el | |
parent | a060c0dc046e526f8bf88b512e3c7c27e93421f8 (diff) |
Experimental changes to queue several commands at once and to allow pre-processing of commands when they're queued from script
Diffstat (limited to 'generic/proof-maths-menu.el')
-rw-r--r-- | generic/proof-maths-menu.el | 2 |
1 files changed, 1 insertions, 1 deletions
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 <David.Aspinall@ed.ac.uk> ;; License: GPL (GNU GENERAL PUBLIC LICENSE) ;; |