author | paulson <lp15@cam.ac.uk> |
Sun, 20 May 2018 18:37:34 +0100 | |
changeset 68239 | 0764ee22a4d1 |
parent 67215 | 03d0c958d65a |
child 68710 | 3db37e950118 |
permissions | -rw-r--r-- |
51397
03b586ee5930
support for 'chapter' specifications within session ROOT;
wenzelm
parents:
50911
diff
changeset
|
1 |
chapter Pure |
03b586ee5930
support for 'chapter' specifications within session ROOT;
wenzelm
parents:
50911
diff
changeset
|
2 |
|
48738
f8c1a5b9488f
simplified session specifications: names are taken verbatim and current directory is default;
wenzelm
parents:
48732
diff
changeset
|
3 |
session Pure = |
62944
3ee643c5ed00
more standard session build process, including browser_info;
wenzelm
parents:
62887
diff
changeset
|
4 |
description {* |
3ee643c5ed00
more standard session build process, including browser_info;
wenzelm
parents:
62887
diff
changeset
|
5 |
The Pure logical framework |
3ee643c5ed00
more standard session build process, including browser_info;
wenzelm
parents:
62887
diff
changeset
|
6 |
*} |
64314
93de02f9c2d9
more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;
wenzelm
parents:
62944
diff
changeset
|
7 |
options [threads = 1] |
62868
61a691db1c4d
support for ML project ROOT file, with imitation of ML "use" commands;
wenzelm
parents:
62866
diff
changeset
|
8 |
theories |
65374 | 9 |
Pure (global) |
65473 | 10 |
ML_Bootstrap (global) |
67215 | 11 |
Sessions |