src/Pure/ROOT
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--
tidy up of Derivative
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
a5b38d8d3c1e tuned syntax;
wenzelm
parents: 64314
diff changeset
     9
    Pure (global)
65473
b47373f52451 more global theories;
wenzelm
parents: 65374
diff changeset
    10
    ML_Bootstrap (global)
67215
03d0c958d65a PIDE markup for session ROOT files;
wenzelm
parents: 65473
diff changeset
    11
    Sessions