author | wenzelm |
Tue, 05 Apr 2016 15:27:11 +0200 | |
changeset 62866 | d20262cd20e8 |
parent 62862 | 007c454d0d0f |
child 62868 | 61a691db1c4d |
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 = |
56801
8dd9df88f647
some support for session-qualified theories: allow to refer to resources via qualified name instead of odd file-system path;
wenzelm
parents:
56435
diff
changeset
|
4 |
global_theories Pure |
62866
d20262cd20e8
read Pure file dependencies directly from ROOT.ML;
wenzelm
parents:
62862
diff
changeset
|
5 |
files "ROOT.ML" |