isabelle: Admin/components/main@3d67739cf626 (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
50890 097e38daa03a updated to jdk-7u11; wenzelm parents: 50753 diff changeset	6	jdk-7u11
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
51052 3d67739cf626 rebundled polyml-5.5.0-2, which now includes the sources as usual (e.q. required for formal references in Isabelle/ML); wenzelm parents: 51043 diff changeset	10	polyml-5.5.0-2
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
	Fri, 25 Jan 2013 20:09:56 +0100
changeset 51052	3d67739cf626
parent 51043	bf5f6affa87d
child 51066	7fc61bfb1c2d
permissions	-rw-r--r--