isabelle: Admin/components/main@ff0e0bb81597 (annotated)

48847 06e8cb8f3f61 some explanations on component categories; wenzelm parents: 48843 diff changeset	1	#main components for everyday use, without big impact on overall build time
48843 9055bf115e30 some grouping of components; wenzelm parents: diff changeset	2	cvc3-2.4.1
50928 bf254bd30833 updated component again, as there was an issue with hard-coded paths in "runepar.pl" blanchet parents: 50926 diff changeset	3	e-1.6-2
50293 4eea6572896e updated to exec_process-1.0.3; wenzelm parents: 50230 diff changeset	4	exec_process-1.0.3
50921 287c79b9550c register Haskabelle as a component noschinl parents: 50890 diff changeset	5	Haskabelle-2013
51776 8ea64fb16bae updated to jdk-7u21; wenzelm parents: 51503 diff changeset	6	jdk-7u21
52471 ff0e0bb81597 support for idea-icons (using ideaIC-129.354/platform/icons/src from IntelliJ IDEA Community Edition 12.1.2); wenzelm parents: 52423 diff changeset	7	jedit_build-20130628
50432 f9d70f49d370 added jfreechart library, including the old version of iText from its distribution (required for the demo application and examples); wenzelm parents: 50343 diff changeset	8	jfreechart-1.0.14
50230 79773c44e57b updated two components blanchet parents: 49552 diff changeset	9	kodkodi-1.5.2
51066 7fc61bfb1c2d updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements; wenzelm parents: 51052 diff changeset	10	polyml-5.5.0-3
52423 bc5c96c74514 updated to scala-2.10.2; wenzelm parents: 51776 diff changeset	11	scala-2.10.2
48843 9055bf115e30 some grouping of components; wenzelm parents: diff changeset	12	spass-3.8ds
50343 40d5ec9149d5 go back to Z3 3.2 blanchet parents: 50309 diff changeset	13	z3-3.2
51503 5247f5cd68fd added component xz-java-1.2; wenzelm parents: 51431 diff changeset	14	xz-java-1.2

author	wenzelm
	Fri, 28 Jun 2013 14:05:12 +0200
changeset 52471	ff0e0bb81597
parent 52423	bc5c96c74514
child 53014	2b5580da3874
permissions	-rw-r--r--