Admin/ProofGeneral/version.patch
changeset 33913 bb8ff5614ba7
child 33924 e1c262952b02
     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 + ;;