diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-01 18:40:35 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-01 18:40:35 +0000 |
| commit | dc7af5fb2c02eb960815e01741b9d2cb59c3844e (patch) | |
| tree | df698d481a2a07bfdf311e435455de252892eea3 /CHANGES | |
| parent | dfeca5a2b6738b2d27f993fb2c3c8493a255df66 (diff) | |
Cease mentioning plastic.
Diffstat (limited to 'CHANGES')
| -rw-r--r-- | CHANGES | 9 |
1 files changed, 0 insertions, 9 deletions
@@ -3,15 +3,6 @@ * Summary of Changes for Proof General 3.2 from 3.1 -** New instantiations of Proof General! - -*** Plastic (http://www.dur.ac.uk/CARG/plastic.html) (ongoing work) - - by Paul Callaghan <P.C.Callaghan@durham.ac.uk>. - The Plastic system itself is not yet publicly available, - so this is only included in the developers tar file. - - ** Generic Changes *** Added proof assistant specific menu facility. |