diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-19 06:48:48 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-19 06:48:48 +0000 |
| commit | cea579ca7f0520a1ac918947703a89445dc9f393 (patch) | |
| tree | 638f3a192c5d8e533b2f8285015d7ba3ddc4ecc3 /doc | |
| parent | 559c0b306bb851e59e2ec5d0c378532ed61fed37 (diff) | |
Ack ETL
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ProofGeneral.texi | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 500a0568..9a4bd36c 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -218,12 +218,15 @@ We're also pleased to announce HOL Proof General, a new instance of Proof General for HOL98. This is supplied as a "technology demonstration" for HOL users in the hope that somebody from the HOL community will volunteer to adopt it and become a maintainer and -developer. (Otherwise, work on HOL Proof General will not -continue). +developer. (Otherwise, work on HOL Proof General will not continue). Apart from that there are a few other small improvements. Check the CHANGES file in the distribution for full details. +The HOL98 support and most of the work on Proof General 3.1 was +undertaken by David Aspinall while he was visiting ETL, Osaka, Japan, +supported by the British Council and ETL. + @node News for 3.0 @unnumberedsec News for 3.0 |