# HG changeset patch
# User wenzelm
# Date 1197759250 -3600
# Node ID 9f7796a02b28c1737f54ece16355905cdef351e7
# Parent  7f4cf5b20d38c24b7949038b28ab546a79c0b3b5
tuned comments;

diff -r 7f4cf5b20d38 -r 9f7796a02b28 lib/classes/isabelle/IsabelleDemo.java
--- 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");