src/Pure/System/isabelle_process.ML
changeset 57916 2c2c24dbf0a4
parent 57913 8544ef75d1d8
child 57979 fc136831d6ca
     1.1 --- a/src/Pure/System/isabelle_process.ML	Tue Aug 12 17:28:07 2014 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.ML	Tue Aug 12 18:36:43 2014 +0200
     1.3 @@ -1,8 +1,7 @@
     1.4  (*  Title:      Pure/System/isabelle_process.ML
     1.5      Author:     Makarius
     1.6  
     1.7 -Isabelle process wrapper, based on private fifos for maximum
     1.8 -robustness and performance, or local socket for maximum portability.
     1.9 +Isabelle process wrapper.
    1.10  *)
    1.11  
    1.12  signature ISABELLE_PROCESS =