From 7d5cf81c5a9165e815d6d84c450d72ab1ba8f3d9 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 25 Aug 2010 15:09:37 +0000
Subject: Renamed file obsolete/plastic/README, formerly plastic/README

---
 obsolete/plastic/README | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 obsolete/plastic/README

(limited to 'obsolete')

diff --git a/obsolete/plastic/README b/obsolete/plastic/README
new file mode 100644
index 00000000..881f5b5d
--- /dev/null
+++ b/obsolete/plastic/README
@@ -0,0 +1,12 @@
+Plastic Proof General
+
+Written by Paul Callaghan
+
+Status:		  under development together with Plastic
+Maintainer:	  Paul Callaghan
+Plastic homepage: http://www.dur.ac.uk/CARG/plastic.html
+
+========================================
+
+$Id$
+
-- 
cgit v1.2.3