changeset 29564 | f8b933a62151 |
parent 28488 | 18fea7e88ea1 |
29563:4773c5c994dc | 29564:f8b933a62151 |
---|---|
1 (* Title: Pure/ML-Systems/alice.ML |
1 (* Title: Pure/ML-Systems/alice.ML |
2 ID: $Id$ |
|
3 |
2 |
4 Compatibility file for Alice 1.4. |
3 Compatibility file for Alice 1.4. |
5 |
4 |
6 NOTE: there is no wrapper script; may run it interactively as follows: |
5 NOTE: there is no wrapper script; may run it interactively as follows: |
7 |
6 |