diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/links.phtml | 5 |
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> |