src/Pure/System/isabelle_system.scala

--- a/src/Pure/System/isabelle_system.scala	Sat Aug 29 12:01:25 2009 +0200
+++ b/src/Pure/System/isabelle_system.scala	Sat Aug 29 14:31:39 2009 +0200
@@ -42,13 +42,11 @@
     val rc = proc.waitFor
     (output, rc)
   }
-
 }
 
 
 class Isabelle_System
 {
-
   /** unique ids **/
 
   private var id_count: BigInt = 0
@@ -244,6 +242,7 @@
   }
 
 
+
   /** system tools **/
 
   /* external processes */
@@ -296,6 +295,7 @@
   }
 
 
+
   /** Isabelle resources **/
 
   /* components */