src/Tools/ROOT
changeset 69241 5426d266dcc5
parent 69225 bf2fecda8383
child 69444 c3c9440cbf9b
     1.1 --- a/src/Tools/ROOT	Mon Nov 05 17:06:50 2018 +0100
     1.2 +++ b/src/Tools/ROOT	Mon Nov 05 17:37:55 2018 +0100
     1.3 @@ -13,4 +13,4 @@
     1.4    theories
     1.5      Haskell
     1.6    theories [condition = ISABELLE_GHC]
     1.7 -    Build
     1.8 +    Test