diff options
| author | David Aspinall | 1999-09-24 11:02:57 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-24 11:02:57 +0000 |
| commit | dde2904045d871721d4e015911199b24e14cd7a3 (patch) | |
| tree | 931057948fd88c37c97c74c63210d1ff7654f638 /html | |
| parent | 865b8f10da131e52040c234f4aa9217b2f69810a (diff) | |
Added names of helpful people at summer shcool
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.phtml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/html/news.phtml b/html/news.phtml index 06ecbf7f..8856a97b 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -6,9 +6,16 @@ where Proof General was used for a class of about 50 students who were learning Coq, Isabelle, and LEGO. I received - many useful comments and feedback - (thanks to everyone), which will be + many useful comments and feedback, + which will be used to improve the next version. + Thanks to everyone who gave suggestions and bug reports + to me, including: + Michael Abbott, + Bernd Grobauer, + Sebastian Skalberg, + Thierry Massart, + Darmalingum Muthiayen. </p> <li><b>27th August 1999</b><br> <p> |