From 7219b04037809c7e8538d3ba7a095101b6f50198 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 6 Oct 1999 10:46:04 +0000
Subject: Admin changes for version 2.2.

---
 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 d140173f..e889a383 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -49,10 +49,10 @@
 @c
 
 
-@set version 2.1
+@set version 2.2
 @set xemacsversion 21.1
 @set fsfversion 20.2
-@set last-update August 1999
+@set last-update October 1999
 @set rcsid $Id$
 
 @ifinfo
-- 
cgit v1.2.3