# HG changeset patch
# User wenzelm
# Date 1259597599 -3600
# Node ID ad2edc2f9ce3a2a59a22a9f8bc7d19aeaa794ed0
# Parent  2a4c44b06eb4c813a926cde309d4a1771dbc530d
updated date;

diff -r 2a4c44b06eb4 -r ad2edc2f9ce3 Admin/ProofGeneral/version.patch
--- a/Admin/ProofGeneral/version.patch	Mon Nov 30 17:13:12 2009 +0100
+++ b/Admin/ProofGeneral/version.patch	Mon Nov 30 17:13:19 2009 +0100
@@ -5,7 +5,7 @@
  (eval-and-compile
  ;; WARNING: do not edit next line (constant is edited in Makefile.devel)
 -  (defconst proof-general-version "Proof General Version 3.7.1. Released by da on Wed 23 Jul 2008."
-+  (defconst proof-general-version "Proof General Version 3.7.1.1. Fabricated by makarius on Sun 29 Nov 2009."
++  (defconst proof-general-version "Proof General Version 3.7.1.1. Fabricated by makarius on Mon 30 Nov 2009."
      "Version string identifying Proof General release."))
  
  (defconst proof-general-short-version