# HG changeset patch
# User wenzelm
# Date 1197752626 -3600
# Node ID e55626a33a8e8bb778728ba9556cb51955deb6f5
# Parent  fd1a128d8415a0c029fd6e9cc3115ada19552f88
added example session with Beanshell;

diff -r fd1a128d8415 -r e55626a33a8e lib/classes/isabelle/IsabelleDemo.java
--- a/lib/classes/isabelle/IsabelleDemo.java	Sat Dec 15 22:03:24 2007 +0100
+++ b/lib/classes/isabelle/IsabelleDemo.java	Sat Dec 15 22:03:46 2007 +0100
@@ -3,6 +3,19 @@
  *
  * Simple demo for IsabelleProcess wrapper.
  *
+ * Example session with Beanshell:
+ *
+ *    $ cd [ISABELLE_HOME]/lib/classes
+ *    $ javac isabelle/*.java
+ *    $ bsh
+ *    % import isabelle.*;
+ *    % isabelle = new IsabelleDemo("HOL");
+ *    % isabelle.command("theory Test imports Main begin");
+ *    % isabelle.command("lemma \"A --> A\"");
+ *    % isabelle.command("..");
+ *    % isabelle.command("end");
+ *    % isabelle.close();
+ *
  */
 
 package isabelle;