| author | wenzelm |
| Sat, 17 Dec 2016 14:13:15 +0100 | |
| changeset 64581 | ee4b9cea7fb5 |
| parent 64314 | 93de02f9c2d9 |
| child 65374 | a5b38d8d3c1e |
| 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 |
global_theories |
|
61a691db1c4d
support for ML project ROOT file, with imitation of ML "use" commands;
wenzelm
parents:
62866
diff
changeset
|
9 |
Pure |
|
61a691db1c4d
support for ML project ROOT file, with imitation of ML "use" commands;
wenzelm
parents:
62866
diff
changeset
|
10 |
theories |
| 62887 | 11 |
ML_Bootstrap |