Admin/components/main
author wenzelm
Fri, 07 May 2021 13:34:01 +0200
changeset 73899 9b4579e5bced
parent 73891 3531d20cf2fd
child 73903 a037f01aedab
permissions -rw-r--r--
updated to polyml-5.8.2 (official release);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
73836
a96564139fa7 more robust bootstrap of components;
wenzelm
parents: 73835
diff changeset
     2
gnu-utils-20210414
73891
3531d20cf2fd removed junk;
wenzelm
parents: 73856
diff changeset
     3
bash_process-1.2.4-2
70273
23c0dfa39dce updated to bib2xhtml-20190409: current repository clone;
wenzelm
parents: 70270
diff changeset
     4
bib2xhtml-20190409
72652
72667f4994a6 updated to csdp-6.1.1, with support for arm64-linux;
wenzelm
parents: 72646
diff changeset
     5
csdp-6.1.1
72920
dcc0022f0179 updated to cvc4-1.8;
wenzelm
parents: 72896
diff changeset
     6
cvc4-1.8
72688
cd3419427cd3 activate E 2.5 for production use (see also 5d1a7b688f6d);
wenzelm
parents: 72652
diff changeset
     7
e-2.5-1
73494
ed36e33a2e4b updated to flatlaf-1.0;
wenzelm
parents: 73477
diff changeset
     8
flatlaf-1.0
73724
090add96f5f9 more glyphs proposed by Simon Foster: 0x002713, 0x002717, 0x002af4, 0x002afb, 0x002afd;
wenzelm
parents: 73714
diff changeset
     9
isabelle_fonts-20210322
73442
45d8884dd233 updated to jdk-15.0.2+7;
wenzelm
parents: 73421
diff changeset
    10
jdk-15.0.2+7
73469
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: 73468
diff changeset
    11
jedit_build-20210201
73027
935f028d5f44 updated to jfreechart-1.5.1;
wenzelm
parents: 72920
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
73768
b7bb665fe850 more systematic java_library: avoid empty entries, declaration order as for other bash functions;
wenzelm
parents: 73724
diff changeset
    14
kodkodi-1.5.6-1
66638
6585669c33dc added/updated components
blanchet
parents: 66496
diff changeset
    15
nunchaku-0.5
72591
91f38e34aa3f updated to opam-2.0.7;
wenzelm
parents: 72587
diff changeset
    16
opam-2.0.7
73899
9b4579e5bced updated to polyml-5.8.2 (official release);
wenzelm
parents: 73891
diff changeset
    17
polyml-5.8.2
73028
427b18abf925 updated to postgresql-42.2.18;
wenzelm
parents: 73027
diff changeset
    18
postgresql-42.2.18
73599
54b43bcf1df3 updated to scala-2.13.5 (with scala-swing_2.13-3.0.0);
wenzelm
parents: 73494
diff changeset
    19
scala-2.13.5
66638
6585669c33dc added/updated components
blanchet
parents: 66496
diff changeset
    20
smbc-0.4.1
72646
c2b44fb3add4 rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
wenzelm
parents: 72640
diff changeset
    21
spass-3.8ds-2
73242
a4efee8f8842 updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;
wenzelm
parents: 73224
diff changeset
    22
sqlite-jdbc-3.34.0
70143
708743578e45 updated to ssh-java-20190323 (with jsch-0.1.55.jar);
wenzelm
parents: 70136
diff changeset
    23
ssh-java-20190323
73029
b79755daf0ad updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;
wenzelm
parents: 73028
diff changeset
    24
stack-2.5.1
68564
3ee6947bfb34 added Vampire component
blanchet
parents: 68474
diff changeset
    25
vampire-4.2.2
73210
06e5ba0d1d2c sort lines;
wenzelm
parents: 73209
diff changeset
    26
verit-2020.10-rmx-1
67996
927c6f4405db updated to xz-java-1.8;
wenzelm
parents: 67993
diff changeset
    27
xz-java-1.8
70478
c7e9d3a0a681 more direct invocation of Windows exe: avoid extra bash, cygpath, exec;
wenzelm
parents: 70476
diff changeset
    28
z3-4.4.0pre-3
73211
162b71f7e554 rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;
wenzelm
parents: 73210
diff changeset
    29
zipperposition-2.0-1