From c621a2ea58e24b04db91787e38a6842fe80a477b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 14 Apr 2004 16:30:28 +0000
Subject: Updated.

---
 pgshell/README | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'pgshell')

diff --git a/pgshell/README b/pgshell/README
index ff6897e6..4dd96aa1 100644
--- a/pgshell/README
+++ b/pgshell/README
@@ -1,6 +1,9 @@
 Proof General for shell scripts/simple command interpreters.
 
-David Aspinall.
+Author:		David Aspinall
+Status:		Supported; experimental
+
+====================================================================
 
 This instance of PG is handy just for using script management to
 cut-and-paste into a buffer running an ordinary shell of some kind.
-- 
cgit v1.2.3