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;
     1 chapter Tools
     2 
     3 session Spec_Check in Spec_Check = Pure +
     4   theories
     5     Spec_Check
     6     Examples
     7 
     8 session SML in SML = Pure +
     9   theories
    10     Examples
    11 
    12 session Haskell in Haskell = Pure +
    13   theories
    14     Haskell
    15   theories [condition = ISABELLE_GHC]
    16     Test