isabelle: Admin/components/main@96321006c2d4 (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
72684 dcc0022f0179 updated to cvc4-1.8; wenzelm parents: 72660 diff changeset	5	cvc4-1.8
72456 cd3419427cd3 activate E 2.5 for production use (see also 5d1a7b688f6d); wenzelm parents: 72419 diff changeset	6	e-2.5-1
73160 aeba7bb4f4d4 updated to flatlaf-1.0-rc1; wenzelm parents: 73136 diff changeset	7	flatlaf-1.0-rc1
70374 2b4c40722f0b updated to isabelle_fonts-20190717; wenzelm parents: 70293 diff changeset	8	isabelle_fonts-20190717
73089 af54129abd9e updated jdk-15.0.1+9, including arm64-darwin; wenzelm parents: 73000 diff changeset	9	jdk-15.0.1+9
72983 a8050df4f58f clarified fonts, notably for Windows L&F; wenzelm parents: 72971 diff changeset	10	jedit_build-20201223
72789 935f028d5f44 updated to jfreechart-1.5.1; wenzelm parents: 72684 diff changeset	11	jfreechart-1.5.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	12	jortho-1.0-2
72206 8ee5743a8b36 updated to kodkodi-1.5.6: more robust treatment of interrupt; wenzelm parents: 72202 diff changeset	13	kodkodi-1.5.6
66636 6585669c33dc added/updated components blanchet parents: 66493 diff changeset	14	nunchaku-0.5
72358 91f38e34aa3f updated to opam-2.0.7; wenzelm parents: 72354 diff changeset	15	opam-2.0.7
72660 7d4e9f7742c6 updated to polyml-test-7e49fce62e3d --- follow current ongoing development; wenzelm parents: 72553 diff changeset	16	polyml-test-f86ae3dc1686
72790 427b18abf925 updated to postgresql-42.2.18; wenzelm parents: 72789 diff changeset	17	postgresql-42.2.18
73136 ca17e9ebfdf1 updated to scala-2.13.4; wenzelm parents: 73118 diff changeset	18	scala-2.13.4
66636 6585669c33dc added/updated components blanchet parents: 66493 diff changeset	19	smbc-0.4.1
72413 c2b44fb3add4 rebuild component following current "isabelle build_e" and Admin/PLATFORMS; wenzelm parents: 72407 diff changeset	20	spass-3.8ds-2
73000 a4efee8f8842 updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin; wenzelm parents: 72983 diff changeset	21	sqlite-jdbc-3.34.0
69961 708743578e45 updated to ssh-java-20190323 (with jsch-0.1.55.jar); wenzelm parents: 69954 diff changeset	22	ssh-java-20190323
72791 b79755daf0ad updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4; wenzelm parents: 72790 diff changeset	23	stack-2.5.1
68564 3ee6947bfb34 added Vampire component blanchet parents: 68473 diff changeset	24	vampire-4.2.2
72970 06e5ba0d1d2c sort lines; wenzelm parents: 72969 diff changeset	25	verit-2020.10-rmx-1
67995 927c6f4405db updated to xz-java-1.8; wenzelm parents: 67992 diff changeset	26	xz-java-1.8
70293 c7e9d3a0a681 more direct invocation of Windows exe: avoid extra bash, cygpath, exec; wenzelm parents: 70291 diff changeset	27	z3-4.4.0pre-3
72971 162b71f7e554 rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer; wenzelm parents: 72970 diff changeset	28	zipperposition-2.0-1

author	wenzelm
	Sat, 23 Jan 2021 14:17:02 +0100
changeset 73176	96321006c2d4
parent 73175	16772cc234a9
child 73196	45d8884dd233
permissions	-rw-r--r--