src/Pure/IsaMakefile

--- a/src/Pure/IsaMakefile	Thu Dec 17 23:44:48 2009 +0100
+++ b/src/Pure/IsaMakefile	Fri Dec 18 11:28:24 2009 +0100
@@ -128,7 +128,6 @@
   System/cygwin.scala System/gui_setup.scala				\
   System/isabelle_process.scala System/isabelle_syntax.scala		\
   System/isabelle_system.scala System/platform.scala			\
-  /home/makarius/isabelle/misc/test_process/test.scala			\
   Thy/completion.scala Thy/html.scala Thy/thy_header.scala
 
 JAR_DIR = $(ISABELLE_HOME)/lib/classes