# HG changeset patch
# User wenzelm
# Date 1259522422 -3600
# Node ID e1c262952b0285fa93f2e153891bc573d3de0f33
# Parent  7fc1ab75b4fae08fe5aa9784ceb9fd04a7f0bb74
updated date;

diff -r 7fc1ab75b4fa -r e1c262952b02 Admin/ProofGeneral/version.patch
--- a/Admin/ProofGeneral/version.patch	Sun Nov 29 12:56:30 2009 +1100
+++ b/Admin/ProofGeneral/version.patch	Sun Nov 29 20:20:22 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 Sat 28 Nov 2009."
++  (defconst proof-general-version "Proof General Version 3.7.1.1. Fabricated by makarius on Sun 29 Nov 2009."
      "Version string identifying Proof General release."))
  
  (defconst proof-general-short-version