src/Tools/ROOT
author wenzelm
Wed, 23 Jul 2025 14:53:21 +0200
changeset 82898 89da4dcd1fa8
parent 78315 addecc8de2c4
permissions -rw-r--r--
clarified colors, following d6a14ed060fb;

chapter Misc

session Tools = Pure +
  theories
    Code_Generator
    Profiling

session SML in SML = Pure +
  theories
    Examples

session Haskell in Haskell = HOL +
  theories
    Haskell
  theories [condition = ISABELLE_GHC_STACK]
    Test