1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/Admin/ProofGeneral/version.patch Sat Nov 28 16:16:17 2009 +0100
1.3 @@ -0,0 +1,20 @@
1.4 +--- a/generic/proof-site.el 2008-07-23 14:40:14.000000000 +0200
1.5 ++++ b/generic/proof-site.el 2009-11-28 16:13:56.409505412 +0100
1.6 +@@ -55,7 +55,7 @@
1.7 +
1.8 + (eval-and-compile
1.9 + ;; WARNING: do not edit next line (constant is edited in Makefile.devel)
1.10 +- (defconst proof-general-version "Proof General Version 3.7.1. Released by da on Wed 23 Jul 2008."
1.11 ++ (defconst proof-general-version "Proof General Version 3.7.1.1. Fabricated by makarius on Sat 28 Nov 2009."
1.12 + "Version string identifying Proof General release."))
1.13 +
1.14 + (defconst proof-general-short-version
1.15 +@@ -64,7 +64,7 @@
1.16 + (string-match "Version \\([^ ]+\\)\\." proof-general-version)
1.17 + (match-string 1 proof-general-version))))
1.18 +
1.19 +-(defconst proof-general-version-year "2008")
1.20 ++(defconst proof-general-version-year "2009")
1.21 +
1.22 + ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
1.23 + ;;