From dc3a8a2820d90181f8df39993e500f945c01f100 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 23 Sep 1999 12:27:47 +0000
Subject: Fixed up date order.

---
 html/news.phtml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'html')

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.
-- 
cgit v1.2.3