addClassPath;

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