diff options
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. |