tuned comments;

--- a/lib/classes/isabelle/IsabelleDemo.java	Sat Dec 15 23:48:45 2007 +0100
+++ b/lib/classes/isabelle/IsabelleDemo.java	Sat Dec 15 23:54:10 2007 +0100
@@ -7,8 +7,12 @@
  *
  *    $ cd [ISABELLE_HOME]/lib/classes
  *    $ javac isabelle/*.java
+ *
  *    $ bsh
+ * or
+ *    $ java -Disabelle.home=[ISABELLE_HOME] -jar bsh.jar
  *    % addClassPath(".");
+ *
  *    % import isabelle.*;
  *    % isabelle = new IsabelleDemo("HOL");
  *    % isabelle.command("theory Test imports Main begin");