From ce4dd0f36ce0a861a1a86052ce9e281c1ef351da Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 2 Oct 2000 17:38:03 +0000
Subject: New file

---
 af2/README | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)
 create mode 100644 af2/README

diff --git a/af2/README b/af2/README
new file mode 100644
index 00000000..8d0f990f
--- /dev/null
+++ b/af2/README
@@ -0,0 +1,19 @@
+AF2 Proof General, for AF2.
+
+Written by Christophe Raffalli
+
+$Id$
+
+Status:	       supported
+Maintainer:    Christophe Raffalli <Christophe.Raffalli@univ-savoie.fr>
+AF2 version:   
+AF2 homepage:  http://www.lama.univ-savoie.fr/~RAFFALLI/af2.html
+
+========================================
+
+This mode has support for script management with AF2, and some
+other features ported from AF2's own Emacs mode.
+
+
+
+
-- 
cgit v1.2.3