equal
deleted
inserted
replaced
1 /* |
1 /* |
2 * $Id$ |
2 * $Id$ |
3 * |
3 * |
4 * Simple demo for IsabelleProcess wrapper. |
4 * Simple demo for IsabelleProcess wrapper. |
|
5 * |
|
6 * Example session with Beanshell: |
|
7 * |
|
8 * $ cd [ISABELLE_HOME]/lib/classes |
|
9 * $ javac isabelle/*.java |
|
10 * $ bsh |
|
11 * % import isabelle.*; |
|
12 * % isabelle = new IsabelleDemo("HOL"); |
|
13 * % isabelle.command("theory Test imports Main begin"); |
|
14 * % isabelle.command("lemma \"A --> A\""); |
|
15 * % isabelle.command(".."); |
|
16 * % isabelle.command("end"); |
|
17 * % isabelle.close(); |
5 * |
18 * |
6 */ |
19 */ |
7 |
20 |
8 package isabelle; |
21 package isabelle; |
9 |
22 |