aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/ProofGeneral.spec
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2010-09-08 13:46:54 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2010-09-08 13:46:54 +0000
commit1a70d2bca6ab89626d126f96b1ab3e4abf00d445 (patch)
tree37c7076a87a5b3087b10e11808ad533ab10bc1cd /etc/ProofGeneral.spec
parent29c22f1f797c3913729628f12652a78f145d343e (diff)
Set version tag for new release.
Diffstat (limited to 'etc/ProofGeneral.spec')
-rw-r--r--etc/ProofGeneral.spec2
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/ProofGeneral.spec b/etc/ProofGeneral.spec
index 07234e21..4cdfe248 100644
--- a/etc/ProofGeneral.spec
+++ b/etc/ProofGeneral.spec
@@ -1,6 +1,6 @@
Summary: Proof General, Emacs interface for Proof Assistants
Name: ProofGeneral
-Version: 4.0pre100828
+Version: 4.0pre100908
Release: 1
Group: Text Editors/Integrated Development Environments (IDE)
License: GPL