aboutsummaryrefslogtreecommitdiffhomepage
path: root/html
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>2000-05-25 14:51:18 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>2000-05-25 14:51:18 +0000
commitc68797fca33e83e0908b98f8e444a28097b5c027 (patch)
tree2c03f7bec6d54a49483f68b5d6276e109205309e /html
parent1a71c9dffbee7ade3d144eea281788e1375b573f (diff)
Added link to HELM
Diffstat (limited to 'html')
-rw-r--r--html/links.phtml5
1 files changed, 5 insertions, 0 deletions
diff --git a/html/links.phtml b/html/links.phtml
index 4337d638..57aff9df 100644
--- a/html/links.phtml
+++ b/html/links.phtml
@@ -61,6 +61,11 @@ for links to include here, or find broken links, please
</ul>
<ul>
<li>
+ <a href="http://www.cs.unibo.it/~asperti/HELM/home.html">Hypertextual Electronic Library of Mathematics (HELM)</a>
+</li>
+</ul>
+<ul>
+<li>
<a href="http://eti.cs.uni-dortmund.de:8080/servlet/ETI">ETI</a>
</li>
</ul>