diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-02-15 15:06:50 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-02-15 15:06:50 +0000 |
| commit | 5b794c3bb084d01dbb5d2b4ba5f7a23abac10d68 (patch) | |
| tree | fe4dea812a9f10808eee6a6c38cb94325bfbc6ff /html/links.phtml | |
| parent | efca19bc2f6c93017e90483f4135146f395b8c40 (diff) | |
Remove duplicate entry.
Diffstat (limited to 'html/links.phtml')
| -rw-r--r-- | html/links.phtml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/html/links.phtml b/html/links.phtml index 08c4df2b..4337d638 100644 --- a/html/links.phtml +++ b/html/links.phtml @@ -56,15 +56,6 @@ for links to include here, or find broken links, please </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> |