From ddfda254d0695ae7f188b6636b1e9ebd6757b84b Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jan 2008 15:45:00 +0000
Subject: Fix RCS tags

---
 lib/maths-menu.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/maths-menu.el')

diff --git a/lib/maths-menu.el b/lib/maths-menu.el
index ced0ccba..ab15439f 100644
--- a/lib/maths-menu.el
+++ b/lib/maths-menu.el
@@ -6,6 +6,7 @@
 ;; Keywords: convenience
 
 ;; Version for Proof General minimally modified by David Aspinall, 2007-8.
+;; $Id$
 
 
 ;; This file is free software; you can redistribute it and/or modify
-- 
cgit v1.2.3