isabelle: Admin/components/main@b452242dce36 (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
72345 14be5c341377 support arm64-linux; wenzelm parents: 72247 diff changeset	2	bash_process-1.2.3-1
70085 23c0dfa39dce updated to bib2xhtml-20190409: current repository clone; wenzelm parents: 70084 diff changeset	3	bib2xhtml-20190409
72419 72667f4994a6 updated to csdp-6.1.1, with support for arm64-linux; wenzelm parents: 72413 diff changeset	4	csdp-6.1.1
70293 c7e9d3a0a681 more direct invocation of Windows exe: avoid extra bash, cygpath, exec; wenzelm parents: 70291 diff changeset	5	cvc4-1.5-5
72456 cd3419427cd3 activate E 2.5 for production use (see also 5d1a7b688f6d); wenzelm parents: 72419 diff changeset	6	e-2.5-1
70374 2b4c40722f0b updated to isabelle_fonts-20190717; wenzelm parents: 70293 diff changeset	7	isabelle_fonts-20190717
71584 73d1dc57215f avoid jdk-11.0.6+10: it shows problem "S8217731: Font rendering and glyph spacing changed from jdk-8 to jdk-11" https://bugs.openjdk.java.net/browse/JDK-8217731 even though the changelog claims to have resolved this; wenzelm parents: 71516 diff changeset	8	jdk-11.0.5+10
72247 c06260b7152c update to official jedit-5.6.0; wenzelm parents: 72210 diff changeset	9	jedit_build-20200908
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
72206 8ee5743a8b36 updated to kodkodi-1.5.6: more robust treatment of interrupt; wenzelm parents: 72202 diff changeset	12	kodkodi-1.5.6
66636 6585669c33dc added/updated components blanchet parents: 66493 diff changeset	13	nunchaku-0.5
72358 91f38e34aa3f updated to opam-2.0.7; wenzelm parents: 72354 diff changeset	14	opam-2.0.7
72473 70032f83b9be updated to polyml-test-d68c6736402e --- follow current ongoing development; wenzelm parents: 72456 diff changeset	15	polyml-test-d68c6736402e
71369 897ff7e68a10 updated to postgresql-42.2.9; wenzelm parents: 71341 diff changeset	16	postgresql-42.2.9
72210 b7d6b9e71f88 updated to scala-2.12.12; wenzelm parents: 72209 diff changeset	17	scala-2.12.12
66636 6585669c33dc added/updated components blanchet parents: 66493 diff changeset	18	smbc-0.4.1
72413 c2b44fb3add4 rebuild component following current "isabelle build_e" and Admin/PLATFORMS; wenzelm parents: 72407 diff changeset	19	spass-3.8ds-2
72347 e18e15b9e2ab updated to sqlite-jdbc-3.32.3.2; wenzelm parents: 72345 diff changeset	20	sqlite-jdbc-3.32.3.2
69961 708743578e45 updated to ssh-java-20190323 (with jsch-0.1.55.jar); wenzelm parents: 69954 diff changeset	21	ssh-java-20190323
71387 b3b992f6ad8f updated to stack-2.1.3, stackage lts-13.19, ghc-8.6.4; wenzelm parents: 71386 diff changeset	22	stack-2.1.3
68564 3ee6947bfb34 added Vampire component blanchet parents: 68473 diff changeset	23	vampire-4.2.2
72478 b452242dce36 proper Isabelle component settings: prefer standard terminology "ISABELLE_VERIT", avoid conflict of "VERIT_VERSION" with processing of implicit options by veriT; wenzelm parents: 72473 diff changeset	24	verit-2020.10-rmx-1
67995 927c6f4405db updated to xz-java-1.8; wenzelm parents: 67992 diff changeset	25	xz-java-1.8
70293 c7e9d3a0a681 more direct invocation of Windows exe: avoid extra bash, cygpath, exec; wenzelm parents: 70291 diff changeset	26	z3-4.4.0pre-3

author	wenzelm
	Thu, 15 Oct 2020 13:24:16 +0200
changeset 72478	b452242dce36
parent 72473	70032f83b9be
child 72480	b772a93d44aa
permissions	-rw-r--r--