# HG changeset patch
# User wenzelm
# Date 1197758925 -3600
# Node ID 7f4cf5b20d38c24b7949038b28ab546a79c0b3b5
# Parent  e55626a33a8e8bb778728ba9556cb51955deb6f5
addClassPath;

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