src/Tools/ROOT
author wenzelm
Sun Sep 21 20:22:12 2014 +0200 (2014-09-21)
changeset 58413 22dd971f6938
parent 56738 13b0fc4ece42
child 62354 fdd6989cc8a0
permissions -rw-r--r--
renamed ISABELLE_POLYML to ML_SYSTEM_POLYML, to avoid overlap with ISABELLE_POLYML_PATH;
     1 session Spec_Check in Spec_Check = Pure +
     2   theories
     3     Spec_Check
     4   theories [condition = ML_SYSTEM_POLYML]
     5     Examples
     6 
     7 session SML in SML = Pure +
     8   options [condition = ML_SYSTEM_POLYML]
     9   theories
    10     Examples
    11