isabelle: Admin/components/main@2b4c40722f0b (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
70291 9f3441164e92 updated to bash_process-1.2.3: rebuild on current reference PLATFORMS; wenzelm parents: 70247 diff changeset	2	bash_process-1.2.3
70085 23c0dfa39dce updated to bib2xhtml-20190409: current repository clone; wenzelm parents: 70084 diff changeset	3	bib2xhtml-20190409
58420 00bf84d3f526 added csdp-6.x for proof method (sos csdp); wenzelm parents: 57995 diff changeset	4	csdp-6.x
70293 c7e9d3a0a681 more direct invocation of Windows exe: avoid extra bash, cygpath, exec; wenzelm parents: 70291 diff changeset	5	cvc4-1.5-5
68207 1463c4996fb2 updated some Sledgehammer components, following Makarius advice blanchet parents: 68081 diff changeset	6	e-2.0-2
70374 2b4c40722f0b updated to isabelle_fonts-20190717; wenzelm parents: 70293 diff changeset	7	isabelle_fonts-20190717
70239 9c60fcfdf495 updated to jdk-11.0.3+7; wenzelm parents: 70085 diff changeset	8	jdk-11.0.3+7
70247 3e45a3cf1059 eliminated old com.apple.eawt.FullScreenUtilities.setWindowCanFullScreen: appears to be unnecessary on newer versions of Mac OS X; wenzelm parents: 70239 diff changeset	9	jedit_build-20190508
68007 9e8214deed3e updated to jfreechart-1.5.0, but retain bundled iText-2.1.5.jar from jfreechart-1.0.14 to avoid iText-5/7 license complexity; wenzelm parents: 67995 diff changeset	10	jfreechart-1.5.0
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	11	jortho-1.0-2
68678 daf21cb6ebc1 updated to kodkodi-1.5.2-1: modernized settings and renamed directory (same executables); wenzelm parents: 68675 diff changeset	12	kodkodi-1.5.2-1
66636 6585669c33dc added/updated components blanchet parents: 66493 diff changeset	13	nunchaku-0.5
69954 96905404ffba more explicit opam dependencies; wenzelm parents: 69934 diff changeset	14	opam-2.0.3-1
69903 63721ee8c86c updated to polyml-5.8 (official release); wenzelm parents: 69885 diff changeset	15	polyml-5.8
69098 dabe59286c79 updated to postgresql-42.2.5; wenzelm parents: 69095 diff changeset	16	postgresql-42.2.5
70083 96776eb41854 back to scala-2.12.7 (due to reports about problems with new Mac hardware / OS installations by Jasmin Blanchette and Dmitriy Traytel); wenzelm parents: 70072 diff changeset	17	scala-2.12.7
66636 6585669c33dc added/updated components blanchet parents: 66493 diff changeset	18	smbc-0.4.1
68207 1463c4996fb2 updated some Sledgehammer components, following Makarius advice blanchet parents: 68081 diff changeset	19	spass-3.8ds-1
70052 a670d20c600d updated to sqlite-jdbc-3.27.2.1; wenzelm parents: 69961 diff changeset	20	sqlite-jdbc-3.27.2.1
69961 708743578e45 updated to ssh-java-20190323 (with jsch-0.1.55.jar); wenzelm parents: 69954 diff changeset	21	ssh-java-20190323
69419 8985ee17bfd2 updated to stack-1.9.3; wenzelm parents: 69399 diff changeset	22	stack-1.9.3
68564 3ee6947bfb34 added Vampire component blanchet parents: 68473 diff changeset	23	vampire-4.2.2
67995 927c6f4405db updated to xz-java-1.8; wenzelm parents: 67992 diff changeset	24	xz-java-1.8
70293 c7e9d3a0a681 more direct invocation of Windows exe: avoid extra bash, cygpath, exec; wenzelm parents: 70291 diff changeset	25	z3-4.4.0pre-3

author	wenzelm
	Wed, 17 Jul 2019 21:32:03 +0200
changeset 70374	2b4c40722f0b
parent 70293	c7e9d3a0a681
child 70375	2e8af171887f
permissions	-rw-r--r--