src/Tools/ROOT
author wenzelm
Mon Dec 10 23:03:20 2018 +0100 (7 months ago)
changeset 69444 c3c9440cbf9b
parent 69241 5426d266dcc5
permissions -rw-r--r--
more formal Haskell project setup, with dependencies on packages from "stackage";
     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_STACK]
    16     Test