isabelle: Admin/components/main@284d6c06cbfb (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
71341 dfc52eb97ff4 repackage as csdp-6.1-1, with proper platform names; wenzelm parents: 71339 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
71516 a57413dd2909 rebuild x86_64-linux on Ubuntu 14.04.6 LTS; wenzelm parents: 71492 diff changeset	6	e-2.0-3
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
71932 65fd0f032a75 updated to jedit-5.6pre1 (repository version 25349); wenzelm parents: 71590 diff changeset	9	jedit_build-20200610
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
71386 7e8e5e1f8f90 updated to opam-2.0.6; wenzelm parents: 71384 diff changeset	14	opam-2.0.6
72131 284d6c06cbfb updated to polyml-test-159dc81efc3b; wenzelm parents: 72061 diff changeset	15	polyml-test-159dc81efc3b
71369 897ff7e68a10 updated to postgresql-42.2.9; wenzelm parents: 71341 diff changeset	16	postgresql-42.2.9
71590 d1c2ff90c29a updated to scala-2.12.11; wenzelm parents: 71584 diff changeset	17	scala-2.12.11
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
71370 b05aca9cee75 updated to sqlite-jdbc-3.30.1; wenzelm parents: 71369 diff changeset	20	sqlite-jdbc-3.30.1
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
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
	Tue, 11 Aug 2020 13:15:58 +0200
changeset 72131	284d6c06cbfb
parent 72061	0f2ff88f823e
child 72132	d756ff4bb3a3
permissions	-rw-r--r--