From 0139acbc3c1b2f24a9e50fea9d5da191ffe94bd3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 9 Feb 2000 20:28:07 +0000
Subject: Added link to OMEGA.

---
 html/links.phtml | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'html')

diff --git a/html/links.phtml b/html/links.phtml
index 7e691384..5a85c3a6 100644
--- a/html/links.phtml
+++ b/html/links.phtml
@@ -29,3 +29,10 @@ for links to include here, or find broken links, please
   system.
 </li>
 </ul>
+<ul>
+<li>
+  <a href="http://www.ags.uni-sb.de/~omega/">OMEGA</a>,
+  a collection of web-based distributed tools for supporting
+  theorem proving.
+</li>
+</ul>
-- 
cgit v1.2.3