New development pages added, more links

1 files changed, 38 insertions, 1 deletions

diff --git a/html/links.phtml b/html/links.phtml
index 5a85c3a6..08c4df2b 100644
--- a/html/links.phtml
+++ b/html/links.phtml
@@ -31,8 +31,45 @@ for links to include here, or find broken links, please
 </ul>
 <ul>
 <li>
-  <a href="http://www.ags.uni-sb.de/~omega/">OMEGA</a>,
+  <a href="http://www.ags.uni-sb.de/~omega/">OMEGA</a> is
   a collection of web-based distributed tools for supporting
   theorem proving.
 </li>
 </ul>
+<ul>
+<li>
+  <a href="http://www.dcs.gla.ac.uk/prosper/">Prosper</a> is a project
+  to develop an extensible, open proof tool architecture for
+  incorporating formal verification into industrial CAD/CASE tool
+  flows and design methodologies. The tools include novel
+  user-friendly interfaces.
+</li>
+</ul>
+<ul>
+<li>
+  As a possible foundation for generic proof environments,
+  <a href="http://www.nag.co.uk/projects/openmath/omsoc/">OpenMath</a>
+  is a standard representation form for mathematical objects, which
+  links in with the <a href="http://www.w3.org/Math/">MathML</a>
+  markup language.
+</li>
+</ul>
+<ul>
+<li>
+  As a possible foundation for generic proof environments,
+  <a href="http://www.nag.co.uk/projects/openmath/omsoc/">OpenMath</a>
+  is a standard representation form for mathematical objects, which
+  links in with the <a href="http://www.w3.org/Math/">MathML</a>
+  markup language.
+</li>
+</ul>
+<ul>
+<li>
+  <a href="http://www.mrg.dist.unige.it/omrs/index.html">Open Mechanized Reasoning System (OMRS)</a>
+</li>
+</ul>
+<ul>
+<li>
+  <a href="http://eti.cs.uni-dortmund.de:8080/servlet/ETI">ETI</a>
+</li>
+</ul>