diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 15:09:39 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 15:09:39 +0000 |
commit | b668ec516b689f06396b0205b20cf9bce16be94d (patch) | |
tree | eec10a4345c0db32c5584500f1cd69c12e973a41 | |
parent | 7d5cf81c5a9165e815d6d84c450d72ab1ba8f3d9 (diff) |
Renamed from plastic/README to obsolete/plastic/README
-rw-r--r-- | plastic/README | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/plastic/README b/plastic/README deleted file mode 100644 index 881f5b5d..00000000 --- a/plastic/README +++ /dev/null @@ -1,12 +0,0 @@ -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$ - |