src/Tools/ROOT
author wenzelm
Mon Nov 05 17:37:55 2018 +0100 (7 months ago)
changeset 69241 5426d266dcc5
parent 69225 bf2fecda8383
child 69444 c3c9440cbf9b
permissions -rw-r--r--
clarified names;
wenzelm@69179
     1
chapter Tools
wenzelm@69179
     2
wenzelm@53166
     3
session Spec_Check in Spec_Check = Pure +
wenzelm@53166
     4
  theories
wenzelm@53166
     5
    Spec_Check
wenzelm@53166
     6
    Examples
wenzelm@53166
     7
wenzelm@56276
     8
session SML in SML = Pure +
wenzelm@56276
     9
  theories
wenzelm@56276
    10
    Examples
wenzelm@69222
    11
wenzelm@69222
    12
session Haskell in Haskell = Pure +
wenzelm@69222
    13
  theories
wenzelm@69222
    14
    Haskell
wenzelm@69225
    15
  theories [condition = ISABELLE_GHC]
wenzelm@69241
    16
    Test