--- a/src/Pure/IsaMakefile Fri Sep 23 17:11:08 2011 +0200
+++ b/src/Pure/IsaMakefile Fri Sep 23 17:23:54 2011 +0200
@@ -98,7 +98,6 @@
General/seq.ML \
General/sha1.ML \
General/sha1_polyml.ML \
- General/socket_io.ML \
General/source.ML \
General/stack.ML \
General/symbol.ML \