author | wenzelm |
Thu, 27 Jan 2011 20:46:20 +0100 | |
changeset 41887 | d1cac8c778ed |
parent 33944 | Admin/ProofGeneral/version.patch@ad2edc2f9ce3 |
permissions | -rw-r--r-- |
wenzelm@33929 | 1 |
--- a/generic/proof-site.el 2008-07-23 14:40:14.000000000 +0200 |
wenzelm@33929 | 2 |
+++ b/generic/proof-site.el 2009-11-28 16:13:56.409505412 +0100 |
wenzelm@33929 | 3 |
@@ -55,7 +55,7 @@ |
wenzelm@33929 | 4 |
|
wenzelm@33929 | 5 |
(eval-and-compile |
wenzelm@33929 | 6 |
;; WARNING: do not edit next line (constant is edited in Makefile.devel) |
wenzelm@33929 | 7 |
- (defconst proof-general-version "Proof General Version 3.7.1. Released by da on Wed 23 Jul 2008." |
wenzelm@33944 | 8 |
+ (defconst proof-general-version "Proof General Version 3.7.1.1. Fabricated by makarius on Mon 30 Nov 2009." |
wenzelm@33929 | 9 |
"Version string identifying Proof General release.")) |
wenzelm@33929 | 10 |
|
wenzelm@33929 | 11 |
(defconst proof-general-short-version |
wenzelm@33929 | 12 |
@@ -64,7 +64,7 @@ |
wenzelm@33929 | 13 |
(string-match "Version \\([^ ]+\\)\\." proof-general-version) |
wenzelm@33929 | 14 |
(match-string 1 proof-general-version)))) |
wenzelm@33929 | 15 |
|
wenzelm@33929 | 16 |
-(defconst proof-general-version-year "2008") |
wenzelm@33929 | 17 |
+(defconst proof-general-version-year "2009") |
wenzelm@33929 | 18 |
|
wenzelm@33929 | 19 |
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
wenzelm@33929 | 20 |
;; |