isabelle: Admin/components/main@981df2e1f646 (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
73580 a96564139fa7 more robust bootstrap of components; wenzelm parents: 73579 diff changeset	2	gnu-utils-20210414
73599 981df2e1f646 clarified command-line; wenzelm parents: 73580 diff changeset	3	bash_process-1.2.4
70085 23c0dfa39dce updated to bib2xhtml-20190409: current repository clone; wenzelm parents: 70084 diff changeset	4	bib2xhtml-20190409
72419 72667f4994a6 updated to csdp-6.1.1, with support for arm64-linux; wenzelm parents: 72413 diff changeset	5	csdp-6.1.1
72684 dcc0022f0179 updated to cvc4-1.8; wenzelm parents: 72660 diff changeset	6	cvc4-1.8
72456 cd3419427cd3 activate E 2.5 for production use (see also 5d1a7b688f6d); wenzelm parents: 72419 diff changeset	7	e-2.5-1
73248 ed36e33a2e4b updated to flatlaf-1.0; wenzelm parents: 73231 diff changeset	8	flatlaf-1.0
73467 090add96f5f9 more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb, 0x002afd; wenzelm parents: 73459 diff changeset	9	isabelle_fonts-20210322
73196 45d8884dd233 updated to jdk-15.0.2+7; wenzelm parents: 73176 diff changeset	10	jdk-15.0.2+7
73223 ee2e803fcf57 avoid interference with FlatLaf fonts, see also jEdit SVN 24885 'Updated Appearance option pane to allow setting "primary" and "secondary" fonts for all look and feels.' (daleanson 2018-08-30); wenzelm parents: 73222 diff changeset	11	jedit_build-20210201
72789 935f028d5f44 updated to jfreechart-1.5.1; wenzelm parents: 72684 diff changeset	12	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	13	jortho-1.0-2
73513 b7bb665fe850 more systematic java_library: avoid empty entries, declaration order as for other bash functions; wenzelm parents: 73467 diff changeset	14	kodkodi-1.5.6-1
66636 6585669c33dc added/updated components blanchet parents: 66493 diff changeset	15	nunchaku-0.5
72358 91f38e34aa3f updated to opam-2.0.7; wenzelm parents: 72354 diff changeset	16	opam-2.0.7
72660 7d4e9f7742c6 updated to polyml-test-7e49fce62e3d --- follow current ongoing development; wenzelm parents: 72553 diff changeset	17	polyml-test-f86ae3dc1686
72790 427b18abf925 updated to postgresql-42.2.18; wenzelm parents: 72789 diff changeset	18	postgresql-42.2.18
73352 54b43bcf1df3 updated to scala-2.13.5 (with scala-swing_2.13-3.0.0); wenzelm parents: 73248 diff changeset	19	scala-2.13.5
66636 6585669c33dc added/updated components blanchet parents: 66493 diff changeset	20	smbc-0.4.1
72413 c2b44fb3add4 rebuild component following current "isabelle build_e" and Admin/PLATFORMS; wenzelm parents: 72407 diff changeset	21	spass-3.8ds-2
73000 a4efee8f8842 updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin; wenzelm parents: 72983 diff changeset	22	sqlite-jdbc-3.34.0
69961 708743578e45 updated to ssh-java-20190323 (with jsch-0.1.55.jar); wenzelm parents: 69954 diff changeset	23	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	24	stack-2.5.1
68564 3ee6947bfb34 added Vampire component blanchet parents: 68473 diff changeset	25	vampire-4.2.2
72970 06e5ba0d1d2c sort lines; wenzelm parents: 72969 diff changeset	26	verit-2020.10-rmx-1
67995 927c6f4405db updated to xz-java-1.8; wenzelm parents: 67992 diff changeset	27	xz-java-1.8
70293 c7e9d3a0a681 more direct invocation of Windows exe: avoid extra bash, cygpath, exec; wenzelm parents: 70291 diff changeset	28	z3-4.4.0pre-3
72971 162b71f7e554 rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer; wenzelm parents: 72970 diff changeset	29	zipperposition-2.0-1

author	wenzelm
	Thu, 22 Apr 2021 22:07:05 +0200
changeset 73599	981df2e1f646
parent 73580	a96564139fa7
child 73600	328392479308
permissions	-rw-r--r--