# HG changeset patch
# User wenzelm
# Date 1197806707 -3600
# Node ID 097f1384e371243733ab89d6df0f4e90a2067b80
# Parent  ef84226f9488b1ab30366a4b3f4631cc3ed9dbaa
constructor: allow default logic;

diff -r ef84226f9488 -r 097f1384e371 lib/classes/isabelle/IsabelleDemo.java
--- a/lib/classes/isabelle/IsabelleDemo.java	Sat Dec 15 23:55:33 2007 +0100
+++ b/lib/classes/isabelle/IsabelleDemo.java	Sun Dec 16 13:05:07 2007 +0100
@@ -43,4 +43,8 @@
             }
         }).start();
     }
+    
+    public IsabelleDemo() throws IsabelleProcessException {
+        this(null);
+    }
 }