diff options
| author | David Aspinall | 1999-09-23 12:27:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-23 12:27:47 +0000 |
| commit | dc3a8a2820d90181f8df39993e500f945c01f100 (patch) | |
| tree | 38612c30fe6db07c75b8d31629c3fc27551d1da4 /html | |
| parent | c7ceffcbca6d91746b20e76fedbf11a3a3b01666 (diff) | |
Fixed up date order.
Diffstat (limited to 'html')
| -rw-r--r-- | html/news.phtml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/html/news.phtml b/html/news.phtml index 29fc18fa..06ecbf7f 100644 --- a/html/news.phtml +++ b/html/news.phtml @@ -1,14 +1,8 @@ <ul> -<li><b>27th August 1999</b><br> - <p> - Print pictures from the new - <a href="gallery.phtml">gallery</a> - of publicity shots of Proof General! - </p> <li><b>13th September 1999</b><br> <p> I've just returned from the - <b>Types Summer School, Giens, France</b> + <a href="http://www-sop.inria.fr/types-project/types-sum-school.html">Types Summer School, Giens, France</a> where Proof General was used for a class of about 50 students who were learning Coq, Isabelle, and LEGO. I received @@ -16,6 +10,12 @@ (thanks to everyone), which will be used to improve the next version. </p> +<li><b>27th August 1999</b><br> + <p> + Print pictures from the new + <a href="gallery.phtml">gallery</a> + of publicity shots of Proof General! + </p> <li><b>24th August 1999</b><br> <p> Proof General version 2.1 is released. |