equal
deleted
inserted
replaced
1 --- a/generic/proof-site.el 2008-07-23 14:40:14.000000000 +0200 |
|
2 +++ b/generic/proof-site.el 2009-11-28 16:13:56.409505412 +0100 |
|
3 @@ -55,7 +55,7 @@ |
|
4 |
|
5 (eval-and-compile |
|
6 ;; WARNING: do not edit next line (constant is edited in Makefile.devel) |
|
7 - (defconst proof-general-version "Proof General Version 3.7.1. Released by da on Wed 23 Jul 2008." |
|
8 + (defconst proof-general-version "Proof General Version 3.7.1.1. Fabricated by makarius on Mon 30 Nov 2009." |
|
9 "Version string identifying Proof General release.")) |
|
10 |
|
11 (defconst proof-general-short-version |
|
12 @@ -64,7 +64,7 @@ |
|
13 (string-match "Version \\([^ ]+\\)\\." proof-general-version) |
|
14 (match-string 1 proof-general-version)))) |
|
15 |
|
16 -(defconst proof-general-version-year "2008") |
|
17 +(defconst proof-general-version-year "2009") |
|
18 |
|
19 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
|
20 ;; |
|