isabelle: Admin/components/main@de47a499bc04 (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
51079 8cf38c6b33f8 proforma update to jdk-7u13 -- barely relevant security updates by Oracle; wenzelm parents: 51066 diff changeset	6	jdk-7u13
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
50753 1253fd12ca8a updated to scala-2.10.0; wenzelm parents: 50728 diff changeset	11	scala-2.10.0
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

author	wenzelm
	Thu, 28 Feb 2013 12:43:28 +0100
changeset 51302	de47a499bc04
parent 51079	8cf38c6b33f8
child 51431	9d3ba9775988
permissions	-rw-r--r--