Admin/components
author berghofe
Mon, 23 Jul 2012 18:52:10 +0200
changeset 48453 2421ff8c57a5
parent 48265 429fab105d99
child 48499 d648225071dd
permissions -rw-r--r--
set_vcs now derives prefix from fully qualified procedure / function name
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