From 390a659861192ebf98811438f61c4f992ecad25a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 13 Mar 2000 04:21:14 +0000
Subject: New/updated information files

---
 plastic/README | 12 ++++++++++++
 plastic/todo   | 10 ++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 plastic/README
 create mode 100644 plastic/todo

(limited to 'plastic')

diff --git a/plastic/README b/plastic/README
new file mode 100644
index 00000000..b96cd172
--- /dev/null
+++ b/plastic/README
@@ -0,0 +1,12 @@
+Plastic Proof General
+
+Written by Paul Callaghan
+
+$Id$
+
+Status:		  under development together with Plastic
+Maintainer:	  Paul Callaghan
+Plastic version:  ??
+Plastic homepage: http://www.dur.ac.uk/CARG/plastic.html
+
+========================================
diff --git a/plastic/todo b/plastic/todo
new file mode 100644
index 00000000..5ea74023
--- /dev/null
+++ b/plastic/todo
@@ -0,0 +1,10 @@
+-*- mode:outline -*-
+
+* Things to do for Plastic
+
+See also ../todo for generic things to do, priority codes.
+
+** Add as part of main distribution when Plastic ready
+  
+   Edit Makefile.devel
+
-- 
cgit v1.2.3