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;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
53166
1266b6208a5b missing ROOT (cf. beb4ee344c22);
wenzelm
parents:
diff changeset
     1
session WWW_Find in WWW_Find = Pure +
1266b6208a5b missing ROOT (cf. beb4ee344c22);
wenzelm
parents:
diff changeset
     2
  theories [condition = ISABELLE_POLYML] WWW_Find
1266b6208a5b missing ROOT (cf. beb4ee344c22);
wenzelm
parents:
diff changeset
     3
1266b6208a5b missing ROOT (cf. beb4ee344c22);
wenzelm
parents:
diff changeset
     4
session Spec_Check in Spec_Check = Pure +
1266b6208a5b missing ROOT (cf. beb4ee344c22);
wenzelm
parents:
diff changeset
     5
  theories
1266b6208a5b missing ROOT (cf. beb4ee344c22);
wenzelm
parents:
diff changeset
     6
    Spec_Check
1266b6208a5b missing ROOT (cf. beb4ee344c22);
wenzelm
parents:
diff changeset
     7
  theories [condition = ISABELLE_POLYML]
1266b6208a5b missing ROOT (cf. beb4ee344c22);
wenzelm
parents:
diff changeset
     8
    Examples
1266b6208a5b missing ROOT (cf. beb4ee344c22);
wenzelm
parents:
diff changeset
     9