aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2015-02-02 12:58:16 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2015-02-02 12:58:16 +0000
commit63a2d1e0b425f6bb60dcb21dc2dcb91d4c01cc72 (patch)
treed85999c84fea08994226759d91f6d13791fdba26 /generic
parentbcdc8b71a8ecbc7b93b46690a750c0a67a08d521 (diff)
Set version tag for new release.
Diffstat (limited to 'generic')
-rw-r--r--generic/proof-site.el2
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el
index 7cb778cc..270e8c82 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -72,7 +72,7 @@
(eval-and-compile
;; WARNING: do not edit next line (constant is edited in Makefile.devel)
- (defconst proof-general-version "Proof General Version 4.3pre150105. Released by da."
+ (defconst proof-general-version "Proof General Version 4.3pre150202. Released by da."
"Version string identifying Proof General release."))
(defconst proof-general-short-version