src/Pure/ROOT
changeset 70917 693e811b91bb
parent 70914 05c4c6a99b3f
child 71924 e5df9c8d9d4b
equal deleted inserted replaced
70916:4c15217d6266 70917:693e811b91bb
     2 
     2 
     3 session Pure =
     3 session Pure =
     4   description "
     4   description "
     5     The Pure logical framework.
     5     The Pure logical framework.
     6   "
     6   "
     7   options [threads = 1, export_proofs, export_standard_proofs]
     7   options [threads = 1, export_proofs, export_standard_proofs, prune_proofs = false]
     8   theories [export_theory]
     8   theories [export_theory]
     9     Pure (global)
     9     Pure (global)
    10   theories
    10   theories
    11     ML_Bootstrap (global)
    11     ML_Bootstrap (global)
    12     Sessions
    12     Sessions