isabelle: Admin/components@a78e5d399599 (annotated)

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

author	wenzelm
	Thu, 19 Jul 2012 14:24:40 +0200
changeset 48349	a78e5d399599
parent 48265	429fab105d99
child 48499	d648225071dd
permissions	-rw-r--r--