diff options
| author | David Aspinall | 2010-08-25 15:09:39 +0000 |
|---|---|---|
| committer | David Aspinall | 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$ - |