diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 06:33:30 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-08 06:33:30 +0000 |
| commit | 857af9c4301cfe03768d00c425dd412a6ba0f5c5 (patch) | |
| tree | 8a40f13068ab75a8717d3a72a1089703dfd1e63c | |
| parent | 204293df5ca4ab0b6633be9f6d696556336b915e (diff) | |
Added numbers to refer to projects more easily.
| -rw-r--r-- | html/projects.phtml | 12 |
1 files changed, 6 insertions, 6 deletions
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 |