isabelle: Admin/components/main@80736667cc2e (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
62575 590df5f4e531 ignore SIGINT in waiting wrapper process; wenzelm parents: 62569 diff changeset	2	bash_process-1.2.1
58420 00bf84d3f526 added csdp-6.x for proof method (sos csdp); wenzelm parents: 57995 diff changeset	3	csdp-6.x
66322 bdf4d5408b01 updated CVC4 component to official 1.5 release blanchet parents: 66191 diff changeset	4	cvc4-1.5
66362 9b70e98490da E 2.0 component blanchet parents: 66322 diff changeset	5	e-2.0
63733 7dc86a284456 added glyph from "Deja Vu Sans Mono" font; wenzelm parents: 63683 diff changeset	6	isabelle_fonts-20160830
66413 98afae4308f5 updated to jdk-8u144; wenzelm parents: 66362 diff changeset	7	jdk-8u144
65329 4f3da52cec02 updated to jedit-5.4.0; wenzelm parents: 65046 diff changeset	8	jedit_build-20170319
53576 793a429c63e7 maintain classpath in more elementary manner: turn ISABELLE_CLASSPATH into -classpath option, so that all jars are covered by sun.misc.Launcher.AppClassLoader (e.g. relevant for loading add-on resources); wenzelm parents: 53522 diff changeset	9	jfreechart-1.0.14-1
56596 40edc550667c updated to jortho-1.0-2: added dictionary "en-CA", changed dictionary "en" to be the union of all dialects instead of intersection; wenzelm parents: 56557 diff changeset	10	jortho-1.0-2
50230 79773c44e57b updated two components blanchet parents: 49552 diff changeset	11	kodkodi-1.5.2
64469 488d4e627238 added Nunchaku component and tuned Nunchaku integration accordingly blanchet parents: 64443 diff changeset	12	nunchaku-0.3
65046 18f3d341f8c0 back to Poly/ML 5.6 until odd memory management problems are sorted out; wenzelm parents: 65032 diff changeset	13	polyml-5.6-1
66470 33aa9abd71cb updated to postgresql-42.1.4; wenzelm parents: 66415 diff changeset	14	postgresql-42.1.4
66415 96ad7d5ff613 updated to scala-2.12.3; wenzelm parents: 66413 diff changeset	15	scala-2.12.3
64123 a967b5a07f92 support for SSH in Isabelle/Scala; wenzelm parents: 63990 diff changeset	16	ssh-java-20161009
48843 9055bf115e30 some grouping of components; wenzelm parents: diff changeset	17	spass-3.8ds
66471 80736667cc2e updated to sqlite-jdbc-3.20.0; wenzelm parents: 66470 diff changeset	18	sqlite-jdbc-3.20.0
65872 8f77f6735b51 updated to xz-java-1.6; wenzelm parents: 65329 diff changeset	19	xz-java-1.6
59959 1e3383a5204b updated to new Z3 blanchet parents: 59622 diff changeset	20	z3-4.4.0pre

author	wenzelm
	Mon, 21 Aug 2017 16:12:52 +0200
changeset 66471	80736667cc2e
parent 66470	33aa9abd71cb
child 66493	c94c55cc8d86
permissions	-rw-r--r--