diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 15:09:37 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-25 15:09:37 +0000 |
commit | 7d5cf81c5a9165e815d6d84c450d72ab1ba8f3d9 (patch) | |
tree | be6b67938fbdc7e097d25bf349c3a9ac6733cf04 /obsolete | |
parent | 801b05312e95b3dc6d82adf2cf300b6695a6572c (diff) |
Renamed file obsolete/plastic/README, formerly plastic/README
Diffstat (limited to 'obsolete')
-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$ + |