From 62958d26c2e0b33a5e2e4fdedefdf5a02e337e41 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 22 Feb 2003 18:10:57 +0000
Subject: Renamed file

---
 mmm/README.ProofGeneral                   | 23 -----------------------
 mmm/README.mmm-for-ProofGeneral           | 23 +++++++++++++++++++++++
 x-symbol/README.ProofGeneral              |  7 -------
 x-symbol/README.x-symbol-for-ProofGeneral |  7 +++++++
 4 files changed, 30 insertions(+), 30 deletions(-)
 delete mode 100644 mmm/README.ProofGeneral
 create mode 100644 mmm/README.mmm-for-ProofGeneral
 delete mode 100644 x-symbol/README.ProofGeneral
 create mode 100644 x-symbol/README.x-symbol-for-ProofGeneral

diff --git a/mmm/README.ProofGeneral b/mmm/README.ProofGeneral
deleted file mode 100644
index ad4f9dca..00000000
--- a/mmm/README.ProofGeneral
+++ /dev/null
@@ -1,23 +0,0 @@
-The code in this directory is taken from  
-
-	http://mmm-mode.sourceforge.net/
-
-This is version 0.4.7.  
-No changes have been made for Proof General.   
-Some files have not be included here.
-
-
-=================================================================
-
-
-		MMM Mode for Emacs
-
-MMM Mode is an emacs add-on package providing a minor mode that allows
-Multiple Major Modes to coexist in one buffer. It is particularly
-well-suited to editing embedded code or code that generates other
-code, such as Mason or Embperl server-side Perl code, or HTML output
-by CGI scripts. 
-
-It is written and maintained by Michael Abraham Shulman .
-
-
diff --git a/mmm/README.mmm-for-ProofGeneral b/mmm/README.mmm-for-ProofGeneral
new file mode 100644
index 00000000..ad4f9dca
--- /dev/null
+++ b/mmm/README.mmm-for-ProofGeneral
@@ -0,0 +1,23 @@
+The code in this directory is taken from  
+
+	http://mmm-mode.sourceforge.net/
+
+This is version 0.4.7.  
+No changes have been made for Proof General.   
+Some files have not be included here.
+
+
+=================================================================
+
+
+		MMM Mode for Emacs
+
+MMM Mode is an emacs add-on package providing a minor mode that allows
+Multiple Major Modes to coexist in one buffer. It is particularly
+well-suited to editing embedded code or code that generates other
+code, such as Mason or Embperl server-side Perl code, or HTML output
+by CGI scripts. 
+
+It is written and maintained by Michael Abraham Shulman .
+
+
diff --git a/x-symbol/README.ProofGeneral b/x-symbol/README.ProofGeneral
deleted file mode 100644
index 62dad2ed..00000000
--- a/x-symbol/README.ProofGeneral
+++ /dev/null
@@ -1,7 +0,0 @@
-The code in this directory is taken from  
-
-	http://x-symbol.sourceforge.net/
-
-This is version XXXX
-
-No changes have been made for Proof General. 
diff --git a/x-symbol/README.x-symbol-for-ProofGeneral b/x-symbol/README.x-symbol-for-ProofGeneral
new file mode 100644
index 00000000..62dad2ed
--- /dev/null
+++ b/x-symbol/README.x-symbol-for-ProofGeneral
@@ -0,0 +1,7 @@
+The code in this directory is taken from  
+
+	http://x-symbol.sourceforge.net/
+
+This is version XXXX
+
+No changes have been made for Proof General. 
-- 
cgit v1.2.3