src/HOL/ex/Mirabelle/etc/settings
changeset 32381 11542bebe4d4
child 32382 98674ac811c4
equal deleted inserted replaced
32365:9b74d0339c44 32381:11542bebe4d4
       
     1 MIRABELLE_HOME="$COMPONENT"
       
     2 
       
     3 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/mirabelle"