# HG changeset patch
# User wenzelm
# Date 1261089855 -3600
# Node ID f49d45afa634c6752b248316bb16c65f374abd20
# Parent  54d48ca8708f99262ace382abf2ab35d8c15b2dc
Result.cache;

diff -r 54d48ca8708f -r f49d45afa634 bin/isabelle-process
--- a/bin/isabelle-process	Thu Dec 17 23:31:59 2009 +0100
+++ b/bin/isabelle-process	Thu Dec 17 23:44:15 2009 +0100
@@ -213,7 +213,7 @@
 
 NICE="nice"
 if [ -n "$WRAPPER_OUTPUT" ]; then
-  [ "$WRAPPER_OUTPUT" = "-" -o -p "$WRAPPER_OUTPUT" ] || fail "Bad named pipe: $WRAPPER_OUTPUT"
+#  [ "$WRAPPER_OUTPUT" = "-" -o -p "$WRAPPER_OUTPUT" ] || fail "Bad named pipe: $WRAPPER_OUTPUT"
   MLTEXT="$MLTEXT; Isabelle_Process.init \"$WRAPPER_OUTPUT\";"
 elif [ -n "$PGIP" ]; then
   MLTEXT="$MLTEXT; ProofGeneralPgip.init_pgip $ISAR;"
diff -r 54d48ca8708f -r f49d45afa634 src/Pure/IsaMakefile
--- 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
diff -r 54d48ca8708f -r f49d45afa634 src/Pure/System/isabelle_process.scala
--- a/src/Pure/System/isabelle_process.scala	Thu Dec 17 23:31:59 2009 +0100
+++ b/src/Pure/System/isabelle_process.scala	Thu Dec 17 23:44:15 2009 +0100
@@ -100,6 +100,9 @@
     def is_raw = Kind.is_raw(kind)
     def is_control = Kind.is_control(kind)
     def is_system = Kind.is_system(kind)
+
+    def cache(table: XML.Cache): Result =
+      new Result(kind, table.cache_props(props), table(body))
   }
 }