| changeset 16117 | 7c7da01ff77e |
| parent 16116 | bb7ba5c5e632 |
| child 28504 | 7ad7d7d6df47 |
| 16116:bb7ba5c5e632 | 16117:7c7da01ff77e |
|---|---|
15 |
15 |
16 Now the Pure session may be compiled interactively as follows: |
16 Now the Pure session may be compiled interactively as follows: |
17 |
17 |
18 isabelle -u RAW |
18 isabelle -u RAW |
19 |
19 |
20 See ROOT.ML for further informatio. |
20 See ROOT.ML for further information. |
21 |
21 |
22 |
22 |
23 $Id$ |
23 $Id$ |