src/Tools/ROOT
author wenzelm
Mon, 07 Oct 2013 21:24:44 +0200
changeset 54313 da2e6282a4f5
parent 53166 1266b6208a5b
child 56276 9e2d5e3debd3
permissions -rw-r--r--
native executable even for Linux, to avoid surprises with file managers opening executable script as text file;

session WWW_Find in WWW_Find = Pure +
  theories [condition = ISABELLE_POLYML] WWW_Find

session Spec_Check in Spec_Check = Pure +
  theories
    Spec_Check
  theories [condition = ISABELLE_POLYML]
    Examples