| changeset 23835 | 1990e9acc7d1 |
| parent 23826 | 463903573934 |
| child 23921 | 947152add153 |
| 23834:ad6ad61332fa | 23835:1990e9acc7d1 |
|---|---|
5 |
5 |
6 NOTE: there is no wrapper script; may run it interactively as follows: |
6 NOTE: there is no wrapper script; may run it interactively as follows: |
7 |
7 |
8 $ cd Isabelle/src/Pure |
8 $ cd Isabelle/src/Pure |
9 $ env ALICE_JIT_MODE=0 alice |
9 $ env ALICE_JIT_MODE=0 alice |
10 - val ml_system = "alice"; |
|
10 - use "ML-Systems/alice.ML"; |
11 - use "ML-Systems/alice.ML"; |
11 - use "ROOT.ML"; |
12 - use "ROOT.ML"; |
12 - Session.finish (); |
13 - Session.finish (); |
13 *) |
14 *) |
14 |
15 |