From 857af9c4301cfe03768d00c425dd412a6ba0f5c5 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 8 Mar 2000 06:33:30 +0000
Subject: Added numbers to refer to projects more easily.

---
 html/projects.phtml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'html/projects.phtml')

diff --git a/html/projects.phtml b/html/projects.phtml
index 8777023a..e46ca495 100644
--- a/html/projects.phtml
+++ b/html/projects.phtml
@@ -19,8 +19,8 @@ on Proof General.  For more information on a project, click on its
 title.
 </p>
 
-<h2>Projects involving Proof General</h2>
-<ul>
+<h2>A. Projects involving Proof General</h2>
+<ol>
 <li><?php pgproject("coqpbp","Proof-by-pointing support for Coq") ?></li>
 <li><?php pgproject("coqfile","Multiple file handling support for Coq") ?></li>
 <li><?php pgproject("isapbp","Proof-by-pointing support for Isabelle") ?></li>
@@ -30,14 +30,14 @@ title.
 <li><?php pgproject("pgip","A New Protocol for Interactive Proof in Proof General") ?></li>
 <li><?php pgproject("webreplay","A Web-based Proof Replayer for Proof General") ?></li>
 <li><?php pgproject("test","A Test Harness and Test Suite for Proof General") ?></li>
-</ul>
+</ol>
 
-<h2>Projects not directly involving Proof General</h2>
-<ul>
+<h2>B. Projects not directly involving Proof General</h2>
+<ol>
 <li><?php pgproject("mm","Multiplexed Modes for Emacs") ?></li>
 <li><?php pgproject("scrgen","Script General") ?></li>
 <li><?php pgproject("corba","An Experimental CORBA binding for ML") ?></li>
-</ul>
+</ol>
 
 <p>
 Some projects involve Emacs Lisp.  This is the embedded programming
-- 
cgit v1.2.3