isabelle: Admin/components/main@4517ceb545c1 (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
50728 e7b2cfcef94c updated to jedit_build-20130104; wenzelm parents: 50432 diff changeset	7	jedit_build-20130104
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
51431 9d3ba9775988 updated to scala-2.10.1; wenzelm parents: 51079 diff changeset	11	scala-2.10.1
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
	Sun, 12 May 2013 20:58:01 +0200
changeset 51952	4517ceb545c1
parent 51776	8ea64fb16bae
child 52423	bc5c96c74514
permissions	-rw-r--r--