src/Pure/System/isabelle_process.scala
changeset 43283 446e6621762d
parent 40848 8662b9b1f123
child 43514 45cf8d5e109a
     1.1 --- a/src/Pure/System/isabelle_process.scala	Wed Jun 08 17:42:07 2011 +0200
     1.2 +++ b/src/Pure/System/isabelle_process.scala	Wed Jun 08 17:49:01 2011 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -/*  Title:      Pure/System/isabelle_process.ML
     1.5 +/*  Title:      Pure/System/isabelle_process.scala
     1.6      Author:     Makarius
     1.7      Options:    :folding=explicit:collapseFolds=1:
     1.8