# HG changeset patch
# User wenzelm
# Date 1235987754 -3600
# Node ID 9152fc3af67fde54b6a3b4c0f07f7fde4cb2cbb6
# Parent  2fc281289b229201da71c6ce5129ca12da07b8d1
fixed broken @{file} refs;

diff -r 2fc281289b22 -r 9152fc3af67f doc-src/System/Thy/Basics.thy
--- a/doc-src/System/Thy/Basics.thy	Mon Mar 02 10:48:22 2009 +0100
+++ b/doc-src/System/Thy/Basics.thy	Mon Mar 02 10:55:54 2009 +0100
@@ -360,8 +360,8 @@
   @{verbatim "-W"} option makes Isabelle enter a special process
   wrapper for interaction via an external program; the protocol is a
   stripped-down version of Proof General the interaction mode, see
-  also @{"file" "~~/src/Pure/Tools/isabelle_process.ML"} and @{"file"
-  "~~/src/Pure/Tools/isabelle_process.scala"}.
+  also @{"file" "~~/src/Pure/System/isabelle_process.ML"} and @{"file"
+  "~~/src/Pure/System/isabelle_process.scala"}.
 
   \medskip The @{verbatim "-S"} option makes the Isabelle process more
   secure by disabling some critical operations, notably runtime
diff -r 2fc281289b22 -r 9152fc3af67f doc-src/System/Thy/document/Basics.tex
--- a/doc-src/System/Thy/document/Basics.tex	Mon Mar 02 10:48:22 2009 +0100
+++ b/doc-src/System/Thy/document/Basics.tex	Mon Mar 02 10:55:54 2009 +0100
@@ -369,7 +369,7 @@
   \verb|-W| option makes Isabelle enter a special process
   wrapper for interaction via an external program; the protocol is a
   stripped-down version of Proof General the interaction mode, see
-  also \hyperlink{file.~~/src/Pure/Tools/isabelle-process.ML}{\mbox{\isa{\isatt{{\isachartilde}{\isachartilde}{\isacharslash}src{\isacharslash}Pure{\isacharslash}Tools{\isacharslash}isabelle{\isacharunderscore}process{\isachardot}ML}}}} and \hyperlink{file.~~/src/Pure/Tools/isabelle-process.scala}{\mbox{\isa{\isatt{{\isachartilde}{\isachartilde}{\isacharslash}src{\isacharslash}Pure{\isacharslash}Tools{\isacharslash}isabelle{\isacharunderscore}process{\isachardot}scala}}}}.
+  also \hyperlink{file.~~/src/Pure/System/isabelle-process.ML}{\mbox{\isa{\isatt{{\isachartilde}{\isachartilde}{\isacharslash}src{\isacharslash}Pure{\isacharslash}System{\isacharslash}isabelle{\isacharunderscore}process{\isachardot}ML}}}} and \hyperlink{file.~~/src/Pure/System/isabelle-process.scala}{\mbox{\isa{\isatt{{\isachartilde}{\isachartilde}{\isacharslash}src{\isacharslash}Pure{\isacharslash}System{\isacharslash}isabelle{\isacharunderscore}process{\isachardot}scala}}}}.
 
   \medskip The \verb|-S| option makes the Isabelle process more
   secure by disabling some critical operations, notably runtime