rpms/emacs-common-proofgeneral/F-11 emacs-common-proofgeneral.spec, 1.1, 1.2 import.log, 1.1, 1.2

[Alan Dunn]

Author: amdunn

Update of /cvs/pkgs/rpms/emacs-common-proofgeneral/F-11
In directory cvs1.fedora.phx.redhat.com:/tmp/cvs-serv12751/F-11

Modified Files:
	emacs-common-proofgeneral.spec import.log 
Log Message:
- Rebuild F11 version for Emacs 23.



Index: emacs-common-proofgeneral.spec
===================================================================
RCS file: /cvs/pkgs/rpms/emacs-common-proofgeneral/F-11/emacs-common-proofgeneral.spec,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- emacs-common-proofgeneral.spec	31 Jul 2009 22:41:37 -0000	1.1
+++ emacs-common-proofgeneral.spec	8 Jan 2010 21:55:24 -0000	1.2
@@ -32,7 +32,7 @@
 
 Name:           emacs-common-%{pkg}
 Version:        3.7.1
-Release:        4%{?dist}
+Release:        4%{?dist}.1
 Summary:        Emacs mode for standard interaction interface for proof assistants 
 
 Group:          Applications/Editors
@@ -249,6 +249,9 @@ fi
 %{xemacs_lispdir}/%{pkg}/*/*.el
 
 %changelog
+* Fri Jan 08 2010 Alan Dunn <amdunn at gmail.com> 3.7.1-4.fc11.1
+- Rebuild F11 version for Emacs 23
+
 * Wed Jul 29 2009 Alan Dunn <amdunn at gmail.com> 3.7.1-4
 - Incorporated comments from Jerry James about applying his patch:
   patch now applied unconditionally (regardless of Fedora version


Index: import.log
===================================================================
RCS file: /cvs/pkgs/rpms/emacs-common-proofgeneral/F-11/import.log,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -p -r1.1 -r1.2
--- import.log	31 Jul 2009 22:41:37 -0000	1.1
+++ import.log	8 Jan 2010 21:55:24 -0000	1.2
@@ -1 +1,2 @@
 emacs-common-proofgeneral-3_7_1-4_fc10:F-11:emacs-common-proofgeneral-3.7.1-4.fc10.src.rpm:1249079698
+emacs-common-proofgeneral-3_7_1-4_fc12_1:F-11:emacs-common-proofgeneral-3.7.1-4.fc12.1.src.rpm:1262987585