isabelle: Admin/components/main@2bf8cfc98c4d (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
64417 7f0edcc6c3d3 updated CVC4 component blanchet parents: 64366 diff changeset	4	cvc4-1.5pre-4
53014 2b5580da3874 imported patch added_e_1_8 blanchet parents: 52471 diff changeset	5	e-1.8
63733 7dc86a284456 added glyph from "Deja Vu Sans Mono" font; wenzelm parents: 63683 diff changeset	6	isabelle_fonts-20160830
64313 ae7c11573922 updated to jdk-8u112; wenzelm parents: 64123 diff changeset	7	jdk-8u112
64366 e0ab4c0a5a93 updated to jedit_build-20161024: Code2HTML 0.7, Navigator 2.7; wenzelm parents: 64313 diff changeset	8	jedit_build-20161024
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: 64460 diff changeset	12	nunchaku-0.3
62281 707f9b182f4f evade a potential conflict of /bin/bash versus /bin/sh -> dash (notably on Ubuntu and Debian) -- note that execvpe does not exist on old glibc on Ubuntu 10.04 LTS, but the environ should be unchanged; wenzelm parents: 62252 diff changeset	13	polyml-5.6-1
64460 e84fb8b4245c back to stable scala-2.11.8; wenzelm parents: 64458 diff changeset	14	scala-2.11.8
64123 a967b5a07f92 support for SSH in Isabelle/Scala; wenzelm parents: 63990 diff changeset	15	ssh-java-20161009
48843 9055bf115e30 some grouping of components; wenzelm parents: diff changeset	16	spass-3.8ds
63776 f1968429e339 minimal support for SQLite databases; wenzelm parents: 63733 diff changeset	17	sqlite-jdbc-3.8.11.2
63990 785908f6f40e updated to xz-java-1.5; wenzelm parents: 63776 diff changeset	18	xz-java-1.5
59959 1e3383a5204b updated to new Z3 blanchet parents: 59622 diff changeset	19	z3-4.4.0pre

author	wenzelm
	Sun, 18 Dec 2016 23:43:50 +0100
changeset 64604	2bf8cfc98c4d
parent 64469	488d4e627238
child 64937	9c94853f03b3
permissions	-rw-r--r--