# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1319279179 -3600
# Node ID d90b63445b6216a8bf15ec2ef51d30ef3e755591
# Parent  ae19cf3b1ff9d6bd0a35dbeddf58d8c4a98973eb
tuned

diff -r ae19cf3b1ff9 -r d90b63445b62 programming.html
--- a/programming.html	Sat Oct 22 11:23:48 2011 +0100
+++ b/programming.html	Sat Oct 22 11:26:19 2011 +0100
@@ -74,8 +74,6 @@
           Pizza</a>
      <dd> <a href="http://www.dcs.ed.ac.uk/home/mlj">
           MLJ </a> (ML-to-Java-Byte-Code compiler)
-     <dd> <a href="http://www.cse.psu.edu/~dale/forum/index.html">
-          Forum</a>
      <dd> <a href ="http://www.lix.polytechnique.fr/~dale/lProlog/">
           Lambda Prolog</a>
      <dd> <a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/lfs.html">
@@ -101,7 +99,7 @@
           HOL4-Emacs mode</a>
      <dd> <a href="http://coq.inria.fr/cocorico">
           Coq-Wiki</a>
-     <dd> <a href="http://fp.logosphere.cs.cmu.edu/twelf/">
+     <dd> <a href="http://twelf.org/wiki/Main_Page">
           Twelf-Wiki</a> 
 </dl>
 </TD>