--- a/src/Pure/IsaMakefile Wed Sep 21 16:04:29 2011 +0200
+++ b/src/Pure/IsaMakefile Wed Sep 21 17:50:25 2011 +0200
@@ -98,6 +98,7 @@
General/seq.ML \
General/sha1.ML \
General/sha1_polyml.ML \
+ General/socket_io.ML \
General/source.ML \
General/stack.ML \
General/symbol.ML \