merged

--- a/src/Tools/WWW_Find/IsaMakefile	Tue Mar 29 23:27:38 2011 +0200
+++ b/src/Tools/WWW_Find/IsaMakefile	Tue Mar 29 23:46:46 2011 +0200
@@ -9,6 +9,7 @@
 images:
 test: Pure-WWW_Find
 all: images test
+smlnj: all
 
 
 ## global settings