src/Pure/ROOT
author wenzelm
Thu Oct 20 10:30:11 2016 +0200 (2016-10-20)
changeset 64314 93de02f9c2d9
parent 62944 3ee643c5ed00
child 65374 a5b38d8d3c1e
permissions -rw-r--r--
more robust bootstrap, e.g. when experimenting with Poly/ML repository changes;
wenzelm@51397
     1
chapter Pure
wenzelm@51397
     2
wenzelm@48738
     3
session Pure =
wenzelm@62944
     4
  description {*
wenzelm@62944
     5
    The Pure logical framework
wenzelm@62944
     6
  *}
wenzelm@64314
     7
  options [threads = 1]
wenzelm@62868
     8
  global_theories
wenzelm@62868
     9
    Pure
wenzelm@62868
    10
  theories
wenzelm@62887
    11
    ML_Bootstrap