# HG changeset patch
# User wenzelm
# Date 1197759333 -3600
# Node ID ef84226f9488b1ab30366a4b3f4631cc3ed9dbaa
# Parent  c3ae6c345fb5588700954e2eb94dd837c01a5542
tuned whitespace;

diff -r c3ae6c345fb5 -r ef84226f9488 lib/classes/isabelle/IsabelleProcess.java
--- a/lib/classes/isabelle/IsabelleProcess.java	Sat Dec 15 23:54:59 2007 +0100
+++ b/lib/classes/isabelle/IsabelleProcess.java	Sat Dec 15 23:55:33 2007 +0100
@@ -349,14 +349,14 @@
         String shell = null;
         String home = null;
         String charset = "UTF-8";
-        
+
         shell = System.getProperty("isabelle.shell");
         home = System.getProperty("isabelle.home");
         if (shell != null && home != null) {
             cmdline.add(shell);
             cmdline.add(home +  "/bin/isabelle-process");
         } else if (home != null) {
-            cmdline.add(home +  "/bin/isabelle-process");            
+            cmdline.add(home +  "/bin/isabelle-process");
         } else if (shell != null) {
             throw new IsabelleProcessException("Cannot start process: isabelle.shell property requires isabelle.home");
         } else {