Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/components/main
author wenzelm
Mon, 20 Nov 2023 19:52:46 +0100
changeset 79013 4fb5e6499da9
parent 79012 b6bca0666c38
child 79443 0d7c7fe65638
permissions -rw-r--r--
update to jdk-21.0.1; enforce rebuild of Isabelle/Scala + Isabelle/ML;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
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
76101
e59d7d6fe1bd clarified directory names (e.g. for multi-platform remote execution): avoid being deleted via isabelle.Components.purge;
wenzelm
parents: 76076
diff changeset 
     3
 
bash_process-1.3
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
74454
d688b40695b4 include arm64-linux;
wenzelm
parents: 74433
diff changeset 
     7
 
e-2.6-1
76396
389d77e6be9f support for Easychair style with demo document;
wenzelm
parents: 76395
diff changeset 
     8
 
easychair-3.5
76478
d84568379f3f support for EPTCS style with demo document;
wenzelm
parents: 76443
diff changeset 
     9
 
eptcs-1.7.0
78285
98c53bcb9f07 update to flatlaf-2.6, which is the last release before recent moves towards 3.0 / 3.1 / 3.1.1;
wenzelm
parents: 78147
diff changeset 
    10
 
flatlaf-2.6
76399
d0a1f3eb0982 support for FoilTeX with demo document;
wenzelm
parents: 76396
diff changeset 
    11
 
foiltex-2.1.4b
73652
d5c3eee7da74 separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
wenzelm
parents: 73647
diff changeset 
    12
 
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 
    13
 
isabelle_fonts-20211004
78683
cde40295ffd6 clarified signature;
wenzelm
parents: 78483
diff changeset 
    14
 
isabelle_setup-20230922
78828
032b6186fddc build javamail component and add to main components;
Fabian Huch <huch@in.tum.de>
parents: 78826
diff changeset 
    15
 
javamail-1.4.7
79013
4fb5e6499da9 update to jdk-21.0.1;
wenzelm
parents: 79012
diff changeset 
    16
 
jdk-21.0.1
79012
b6bca0666c38 rebuild jedit with minimal patch for jdk-21, following SVN 25690;
wenzelm
parents: 78828
diff changeset 
    17
 
jedit-20231120
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
77619
6d0985955872 discontinued apache-commons in favour of jsoup, which is smaller and more useful;
wenzelm
parents: 77593
diff changeset 
    20
 
jsoup-1.15.4
74486
74a36aae067a updated to kodkodi-1.5.7. with more robust/portable management of files and processes;
wenzelm
parents: 74485
diff changeset 
    21
 
kodkodi-1.5.7
78286
68f1c4ca48c3 update to current lipics-3.1.3;
wenzelm
parents: 78285
diff changeset 
    22
 
lipics-3.1.3
76443
8dbb0b2f6576 support for Springer LLNCS with demo document;
wenzelm
parents: 76399
diff changeset 
    23
 
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 
    24
 
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 
    25
 
mlton-20210117-1
66636
6585669c33dc added/updated components
blanchet
parents: 66493
diff changeset 
    26
 
nunchaku-0.5
72358
91f38e34aa3f updated to opam-2.0.7;
wenzelm
parents: 72354
diff changeset 
    27
 
opam-2.0.7
75706
f719bbee1721 updated to pdfjs-2.14.305;
wenzelm
parents: 75654
diff changeset 
    28
 
pdfjs-2.14.305
78776
62b64f168c31 updated to official release of polyml-5.9.1, based on Ubuntu 18.04 LTS and macOS 11 Big Sur;
wenzelm
parents: 78683
diff changeset 
    29
 
polyml-5.9.1
78146
5faedbc01c07 updated to postgresql-42.6.0;
wenzelm
parents: 78126
diff changeset 
    30
 
postgresql-42.6.0
76508
ecb9e6d29698 support for the Prism.js syntax highlighter -- via external Node.js process;
wenzelm
parents: 76478
diff changeset 
    31
 
prismjs-1.29.0
77764
44a6ac96314d provide rsync component, with uniform version + options on all platforms;
wenzelm
parents: 77619
diff changeset 
    32
 
rsync-3.2.7
78126
163e4835a8db enable scala-3.3.0, with forced rebuild of Isabelle/Scala and Isabelle/ML;
wenzelm
parents: 78051
diff changeset 
    33
 
scala-3.3.0
66636
6585669c33dc added/updated components
blanchet
parents: 66493
diff changeset 
    34
 
smbc-0.4.1
72413
c2b44fb3add4 rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
wenzelm
parents: 72407
diff changeset 
    35
 
spass-3.8ds-2
78303
3ef8313d0252 proper set_executable for sqlitejdbc.dll (see also 3b0f8f1010f2);
wenzelm
parents: 78302
diff changeset 
    36
 
sqlite-jdbc-3.42.0.0-1
78780
a611bbfeb9cd updated to stack-2.13.1: include arm64-darwin, although it does not quite work yet (e.g. session "Haskell");
wenzelm
parents: 78776
diff changeset 
    37
 
stack-2.13.1
78826
4183cbe41d24 updated to vampire-4.8;
wenzelm
parents: 78780
diff changeset 
    38
 
vampire-4.8
74819
ed3adabf0dbe updated to verit-2021.06.2-rmx;
wenzelm
parents: 74796
diff changeset 
    39
 
verit-2021.06.2-rmx
77208
a3f67a4459e1 more uniform use of SHA1.Shasum;
wenzelm
parents: 77203
diff changeset 
    40
 
vscode_extension-20230206
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 
    41
 
vscodium-1.70.1
74416
9f34c780906e updated to xz-java-1.9;
wenzelm
parents: 74415
diff changeset 
    42
 
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 
    43
 
z3-4.4.0_4.4.1
74458
91ede652d828 include arm64-linux;
wenzelm
parents: 74454
diff changeset 
    44
 
zipperposition-2.1-1
78147
f4221ae7544c updated to zstd-jni-1.5.5-4;
wenzelm
parents: 78146
diff changeset 
    45
 
zstd-jni-1.5.5-4
isabelle