From ca9b0ce54d1b78571c3e5782ba9f85790f8a9508 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 11:49:36 +0000
Subject: Next version will be 3.0 cvs update

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

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index a28bef39..93ed3387 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -49,10 +49,10 @@
 @c
 
 
-@set version 2.2
+@set version 3.0
 @set xemacsversion 21.1
 @set fsfversion 20.2
-@set last-update October 1999
+@set last-update November 1999
 @set rcsid $Id$
 
 @ifinfo
-- 
cgit v1.2.3