Admin/components
author wenzelm
Fri, 20 Jul 2012 16:47:17 +0200
changeset 48367 680d297ec71b
parent 48265 429fab105d99
child 48499 d648225071dd
permissions -rw-r--r--
some basic Isabelle options;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
48149
9cb0abdf7c07 more standard filename for common components
haftmann
parents:
diff changeset
     1
#contributed components
48265
429fab105d99 updated versions
krauss
parents: 48162
diff changeset
     2
contrib/cvc3-2.4.1
48149
9cb0abdf7c07 more standard filename for common components
haftmann
parents:
diff changeset
     3
contrib/e-1.5
9cb0abdf7c07 more standard filename for common components
haftmann
parents:
diff changeset
     4
contrib/hol-light-bundle-0.5-126
9cb0abdf7c07 more standard filename for common components
haftmann
parents:
diff changeset
     5
contrib/kodkodi-1.2.16
9cb0abdf7c07 more standard filename for common components
haftmann
parents:
diff changeset
     6
contrib/spass-3.8ds
9cb0abdf7c07 more standard filename for common components
haftmann
parents:
diff changeset
     7
contrib/scala-2.9.2
9cb0abdf7c07 more standard filename for common components
haftmann
parents:
diff changeset
     8
contrib/vampire-1.0
9cb0abdf7c07 more standard filename for common components
haftmann
parents:
diff changeset
     9
contrib/yices-1.0.28
48265
429fab105d99 updated versions
krauss
parents: 48162
diff changeset
    10
contrib/z3-4.0
48153
210043eb4c88 include jedut_build among canonical components
haftmann
parents: 48149
diff changeset
    11
contrib/jedit_build-20120414
48161
3fd1bccb0834 added ProofGeneral-4.1 as standard component, which allows to discontinue special choosefrom magic eventually;
wenzelm
parents: 48153
diff changeset
    12
contrib/ProofGeneral-4.1
48162
5717466d4633 added universal jdk-6u31 as standard component;
wenzelm
parents: 48161
diff changeset
    13
contrib/jdk-6u31