isabelle: Admin/components_old@5d8d409b897e (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/vampire-1.0
9cb0abdf7c07 more standard filename for common components haftmann parents: diff changeset	8	contrib/yices-1.0.28
48265 429fab105d99 updated versions krauss parents: 48162 diff changeset	9	contrib/z3-4.0
48826 b19ba23e70c5 updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6; wenzelm parents: 48499 diff changeset	10	contrib/jdk-7u6
b19ba23e70c5 updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6; wenzelm parents: 48499 diff changeset	11	contrib/scala-2.9.2
b19ba23e70c5 updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6; wenzelm parents: 48499 diff changeset	12	contrib/jedit_build-20120813
b19ba23e70c5 updated to jdk-7u6 and jedit_build-20120813 -- NB: plain Isabelle/Scala still happens to work with jdk-6; wenzelm parents: 48499 diff changeset	13

author	wenzelm
	Fri, 24 Aug 2012 16:45:55 +0200
changeset 48921	5d8d409b897e
parent 48842	ac976e51cb67
permissions	-rw-r--r--