diff options
-rw-r--r-- | obsolete/plastic/README | 12 |
1 files changed, 12 insertions, 0 deletions
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$ + |