--- a/programming.html	Tue Apr 23 00:56:26 2013 +0100
+++ b/programming.html	Sat May 18 07:22:44 2013 +0100
@@ -73,8 +73,6 @@
           PolyML</a> (<a href="http://www.iro.umontreal.ca/~monnier/elisp">Emacs mode</a>)
      <dd> <a href=" http://cm.bell-labs.com/cm/cs/what/smlnj/index.html">
           SML/NJ </a> 
-     <dd> <a href="http://www.dina.kvl.dk/~sestoft/sml/sml-std-basis.html">
-          SML Library</a> 
      <dd> <a href="http://www.csci.csusb.edu/dick/samples/ml.syntax.html">
           Description of SML</a> 
      <dd> <a href="http://www.inf.napier.ac.uk/course-notes/sml/manual.html">
@@ -83,10 +81,6 @@
           Information about SML</a> 
      <dd> <a href="http://pizzacompiler.sourceforge.net">
           Pizza</a>
-     <dd> <a href="http://www.inf.ed.ac.uk/home/mlj">
-          MLJ </a> (ML-to-Java-Byte-Code compiler)
-     <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">
           Logical Frameworks</a> 
 </dl>