From dbb555f8daa1ab6ae17479545ea7fd49a63341c0 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Fri, 13 Mar 2015 19:34:11 +0000
Subject: Update dates for release next month

---
 doc/ProofGeneral.texi | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'doc/ProofGeneral.texi')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index f00e45c4..25642efb 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -58,8 +58,8 @@
 @c
 
 @set version 4.3pre
-@set emacsversion 24.2
-@set last-update January 2013
+@set emacsversion 24.4
+@set last-update April 2015
 @set rcsid $Id$
 
 @dircategory Theorem proving
-- 
cgit v1.2.3