changeset 34109 | f49d45afa634 |
parent 33984 | c54498f88a77 |
child 34116 | b1cabadf6881 |
--- a/src/Pure/IsaMakefile Thu Dec 17 23:31:59 2009 +0100 +++ b/src/Pure/IsaMakefile Thu Dec 17 23:44:15 2009 +0100 @@ -128,6 +128,7 @@ 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