48347
|
1 |
session RAW in "." =
|
|
2 |
files
|
|
3 |
"General/exn.ML"
|
|
4 |
"ML-Systems/compiler_polyml.ML"
|
|
5 |
"ML-Systems/ml_name_space.ML"
|
|
6 |
"ML-Systems/ml_pretty.ML"
|
|
7 |
"ML-Systems/ml_system.ML"
|
|
8 |
"ML-Systems/multithreading.ML"
|
|
9 |
"ML-Systems/multithreading_polyml.ML"
|
|
10 |
"ML-Systems/overloading_smlnj.ML"
|
|
11 |
"ML-Systems/polyml.ML"
|
|
12 |
"ML-Systems/pp_dummy.ML"
|
|
13 |
"ML-Systems/proper_int.ML"
|
|
14 |
"ML-Systems/single_assignment.ML"
|
|
15 |
"ML-Systems/single_assignment_polyml.ML"
|
|
16 |
"ML-Systems/smlnj.ML"
|
|
17 |
"ML-Systems/thread_dummy.ML"
|
|
18 |
"ML-Systems/universal.ML"
|
|
19 |
"ML-Systems/unsynchronized.ML"
|
|
20 |
"ML-Systems/use_context.ML"
|
|
21 |
|
|
22 |
session Pure in "." =
|
|
23 |
files "ROOT.ML" (* FIXME *)
|
|
24 |
|