src/Pure/System/isabelle_process.ML

--- a/src/Pure/System/isabelle_process.ML	Tue Aug 12 17:28:07 2014 +0200
+++ b/src/Pure/System/isabelle_process.ML	Tue Aug 12 18:36:43 2014 +0200
@@ -1,8 +1,7 @@
 (*  Title:      Pure/System/isabelle_process.ML
     Author:     Makarius
 
-Isabelle process wrapper, based on private fifos for maximum
-robustness and performance, or local socket for maximum portability.
+Isabelle process wrapper.
 *)
 
 signature ISABELLE_PROCESS =