isabelle: Admin/components/main@29432d4a376d (annotated)

73647 a037f01aedab tuned comments; wenzelm parents: 73643 diff changeset	1	#main components for repository clones or release bundles
74643 fde3a4a4f757 provide native executables for arm64-darwin, for more robust startup without Rosetta 2; wenzelm parents: 74637 diff changeset	2	gnu-utils-20211030
74919 115a47a103aa added Apache Commons Lang + Text: not particularly exciting, but provides useful things like org.apache.commons.text.StringEscapeUtils or org.apache.commons.text.diff; wenzelm parents: 74848 diff changeset	3	apache-commons-20211211
76101 e59d7d6fe1bd clarified directory names (e.g. for multi-platform remote execution): avoid being deleted via isabelle.Components.purge; wenzelm parents: 76076 diff changeset	4	bash_process-1.3
70085 23c0dfa39dce updated to bib2xhtml-20190409: current repository clone; wenzelm parents: 70084 diff changeset	5	bib2xhtml-20190409
72419 72667f4994a6 updated to csdp-6.1.1, with support for arm64-linux; wenzelm parents: 72413 diff changeset	6	csdp-6.1.1
72684 dcc0022f0179 updated to cvc4-1.8; wenzelm parents: 72660 diff changeset	7	cvc4-1.8
74454 d688b40695b4 include arm64-linux; wenzelm parents: 74433 diff changeset	8	e-2.6-1
76396 389d77e6be9f support for Easychair style with demo document; wenzelm parents: 76395 diff changeset	9	easychair-3.5
76478 d84568379f3f support for EPTCS style with demo document; wenzelm parents: 76443 diff changeset	10	eptcs-1.7.0
75707 de32bb75721d updated to flatlaf-2.4; wenzelm parents: 75706 diff changeset	11	flatlaf-2.4
76399 d0a1f3eb0982 support for FoilTeX with demo document; wenzelm parents: 76396 diff changeset	12	foiltex-2.1.4b
73652 d5c3eee7da74 separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597); wenzelm parents: 73647 diff changeset	13	idea-icons-20210508
74433 ec1774613824 support symbol \<Parallel>, based on \bigparallel from stdmaryd (stmary10.pfb: move y=1100, scale 222%, embolden by 40 units, adjust spacing); wenzelm parents: 74416 diff changeset	14	isabelle_fonts-20211004
76385 5ca3391244a3 proper Java syntax (amending ea79c21bcc47); wenzelm parents: 76348 diff changeset	15	isabelle_setup-20221028
76535 f3ebb16b5785 update to jdk-17.0.5 (Oct-2022); wenzelm parents: 76508 diff changeset	16	jdk-17.0.5
74660 a755733c1eb5 suppress sources from jEdit/test, which prevent regular build of the generated scala_project; wenzelm parents: 74657 diff changeset	17	jedit-20211103
74413 54a064957ff3 updated to jfreechart-1.5.3; wenzelm parents: 74412 diff changeset	18	jfreechart-1.5.3
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	19	jortho-1.0-2
74486 74a36aae067a updated to kodkodi-1.5.7. with more robust/portable management of files and processes; wenzelm parents: 74485 diff changeset	20	kodkodi-1.5.7
76395 fac28b6c37e8 support for Dagstuhl LIPIcs style with demo document; wenzelm parents: 76385 diff changeset	21	lipics-3.1.2
76443 8dbb0b2f6576 support for Springer LLNCS with demo document; wenzelm parents: 76399 diff changeset	22	llncs-2.22
74734 f345da8defff repackage minisat-2.2.1 with cygwin1.dll: required to run the executable without existing Cygwin context (normally provided by bash_process); wenzelm parents: 74722 diff changeset	23	minisat-2.2.1-1
76186 5f3983c42324 proper platform directory x86_64-linux, to have it purged for other platforms; wenzelm parents: 76185 diff changeset	24	mlton-20210117-1
66636 6585669c33dc added/updated components blanchet parents: 66493 diff changeset	25	nunchaku-0.5
72358 91f38e34aa3f updated to opam-2.0.7; wenzelm parents: 72354 diff changeset	26	opam-2.0.7
75706 f719bbee1721 updated to pdfjs-2.14.305; wenzelm parents: 75654 diff changeset	27	pdfjs-2.14.305
76275 b446004b2464 support for system option ML_system_apple: emulated x86_64 Poly/ML is sometimes more stable than native ARM64; wenzelm parents: 76274 diff changeset	28	polyml-test-bafe319bc3a6-1
76076 6508c21734f1 updated to postgresql-42.5.0; wenzelm parents: 76020 diff changeset	29	postgresql-42.5.0
76508 ecb9e6d29698 support for the Prism.js syntax highlighter -- via external Node.js process; wenzelm parents: 76478 diff changeset	30	prismjs-1.29.0
76537 cdbe20024038 update to scala-3.2.1; wenzelm parents: 76535 diff changeset	31	scala-3.2.1
66636 6585669c33dc added/updated components blanchet parents: 66493 diff changeset	32	smbc-0.4.1
72413 c2b44fb3add4 rebuild component following current "isabelle build_e" and Admin/PLATFORMS; wenzelm parents: 72407 diff changeset	33	spass-3.8ds-2
76545 cee207c2ddec updated to sqlite-jdbc-3.39.4.1; wenzelm parents: 76537 diff changeset	34	sqlite-jdbc-3.39.4.1
74064 d871882ad651 update to Haskell stack-2.7.3 and stackage lts-17.15; wenzelm parents: 74061 diff changeset	35	stack-2.7.3
74466 d4c2a9191cd1 updated to Vampire 4.6, as proposed by Martin Desharnais; wenzelm parents: 74460 diff changeset	36	vampire-4.6
74819 ed3adabf0dbe updated to verit-2021.06.2-rmx; wenzelm parents: 74796 diff changeset	37	verit-2021.06.2-rmx
76020 04ce6cf2bd3b update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2; wenzelm parents: 75869 diff changeset	38	vscode_extension-20220829
04ce6cf2bd3b update VSCodium 1.65.2 ~> 1.70.1, Electron 13.5.2 ~> 18.3.5, Node.js v14.16.0 ~> v16.13.2; wenzelm parents: 75869 diff changeset	39	vscodium-1.70.1
74416 9f34c780906e updated to xz-java-1.9; wenzelm parents: 74415 diff changeset	40	xz-java-1.9
74796 796ae338eb9d back to Z3 4.4.0pre for all platforms except arm64-linux: avoid failure e.g. in Padic_Ints (AFP/7a2522dce834); wenzelm parents: 74792 diff changeset	41	z3-4.4.0_4.4.1
74458 91ede652d828 include arm64-linux; wenzelm parents: 74454 diff changeset	42	zipperposition-2.1-1
76348 a15f16e8ad18 support for Zstd data compression; wenzelm parents: 76345 diff changeset	43	zstd-jni-1.5.2-5

author	wenzelm
	Sun, 15 Jan 2023 12:55:23 +0100
changeset 76984	29432d4a376d
parent 76545	cee207c2ddec
child 77047	39f8051f71d4
permissions	-rw-r--r--