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
Fri, 04 Apr 2025 22:11:29 +0200
changeset 82438 a9d8e2474d2e
parent 82417 9f0f37a12ea8
child 82448 355122727f68
permissions -rw-r--r--
update jedit component;
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
80003
7e52091795e8 update to bash_process-20240326;
wenzelm
parents: 79991
diff changeset 
     3
 
bash_process-20240326
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
82024
bbda3b4f3c99 switch from CVC5 to cvc5, including updates of internal tool references;
wenzelm
parents: 82018
diff changeset 
     6
 
cvc5-1.2.0-1
81711
a55b236f9e1d rebuild E 3.1 on Windows/Cygwin, with patch for proper interrupts;
wenzelm
parents: 81674
diff changeset 
     7
 
e-3.1-1
81769
dfb6c4a15ef4 components for find_facts;
wenzelm
parents: 81711
diff changeset 
     8
 
elm-0.19.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
82224
979b63c3b4c1 more robust shasum: proper relative file names;
wenzelm
parents: 82182
diff changeset 
    11
 
find_facts_web-20250223
82049
0eac687b768d just one flatlaf version: native libraries are optional;
wenzelm
parents: 82035
diff changeset 
    12
 
flatlaf-3.5.4-1
76399
d0a1f3eb0982 support for FoilTeX with demo document;
wenzelm
parents: 76396
diff changeset 
    13
 
foiltex-2.1.4b
73652
d5c3eee7da74 separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
wenzelm
parents: 73647
diff changeset 
    14
 
idea-icons-20210508
81674
70d2f72098df proper bullet symbols for GUI text -- in contrast to Isabelle \<bullet> 0x002219;
wenzelm
parents: 81640
diff changeset 
    15
 
isabelle_fonts-20241227
80033
71d005ffa9fe remove unused TEMP_WINDOWS more thoroughly (see also fa18208fd7bd and 37f852399a32);
wenzelm
parents: 80003
diff changeset 
    16
 
isabelle_setup-20240327
81901
fab7c8c91c09 update to javamail-20250122;
Fabian Huch <huch@in.tum.de>
parents: 81779
diff changeset 
    17
 
javamail-20250122
81968
15d045d0d093 update to jdk-21.0.6;
wenzelm
parents: 81901
diff changeset 
    18
 
jdk-21.0.6
82438
a9d8e2474d2e update jedit component;
wenzelm
parents: 82417
diff changeset 
    19
 
jedit-20250404
74413
54a064957ff3 updated to jfreechart-1.5.3;
wenzelm
parents: 74412
diff changeset 
    20
 
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 
    21
 
jortho-1.0-2
81602
3b93da12e9bd update to jsoup-1.18.3;
wenzelm
parents: 81581
diff changeset 
    22
 
jsoup-1.18.3
74486
74a36aae067a updated to kodkodi-1.5.7. with more robust/portable management of files and processes;
wenzelm
parents: 74485
diff changeset 
    23
 
kodkodi-1.5.7
78286
68f1c4ca48c3 update to current lipics-3.1.3;
wenzelm
parents: 78285
diff changeset 
    24
 
lipics-3.1.3
81603
b0532b178d11 update to llncs-2.25;
wenzelm
parents: 81602
diff changeset 
    25
 
llncs-2.25
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 
    26
 
minisat-2.2.1-1
82065
f178475f274d update to mlton-20241230-1 using recent builds from https://sourceforge.net/projects/mlton;
wenzelm
parents: 82064
diff changeset 
    27
 
mlton-20241230-1
66636
6585669c33dc added/updated components
blanchet
parents: 66493
diff changeset 
    28
 
nunchaku-0.5
72358
91f38e34aa3f updated to opam-2.0.7;
wenzelm
parents: 72354
diff changeset 
    29
 
opam-2.0.7
75706
f719bbee1721 updated to pdfjs-2.14.305;
wenzelm
parents: 75654
diff changeset 
    30
 
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 
    31
 
polyml-5.9.1
81969
2feeac105b53 update to postgresql-42.7.5;
wenzelm
parents: 81968
diff changeset 
    32
 
postgresql-42.7.5
76508
ecb9e6d29698 support for the Prism.js syntax highlighter -- via external Node.js process;
wenzelm
parents: 76478
diff changeset 
    33
 
prismjs-1.29.0
80051
9cdc4f533b91 rebuild rsync-3.2.7 on current platforms, including native arm64-darwin;
wenzelm
parents: 80033
diff changeset 
    34
 
rsync-3.2.7-1
82143
a43e39c52f26 back to scala-3.3.4: scalac in 3.3.5 is more than 2 times slower;
wenzelm
parents: 82122
diff changeset 
    35
 
scala-3.3.4
66636
6585669c33dc added/updated components
blanchet
parents: 66493
diff changeset 
    36
 
smbc-0.4.1
81779
e9f3dbcf854f avoid conflict with slf4j from sqlite (see also dcddfe4f43a3), notably this message on "isabelle find_facts":
wenzelm
parents: 81769
diff changeset 
    37
 
solr-9.7.0-1
72413
c2b44fb3add4 rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
wenzelm
parents: 72407
diff changeset 
    38
 
spass-3.8ds-2
81969
2feeac105b53 update to postgresql-42.7.5;
wenzelm
parents: 81968
diff changeset 
    39
 
sqlite-3.48.0.0
81977
2947ba9c56f7 conservative update to stack-2.15.7;
wenzelm
parents: 81969
diff changeset 
    40
 
stack-2.15.7
78826
4183cbe41d24 updated to vampire-4.8;
wenzelm
parents: 78780
diff changeset 
    41
 
vampire-4.8
79563
76ad72736e9e rebuild "verit" for arm64-linux for more robustness, e.g. relevant for theory "HOL-ex.BigO";
wenzelm
parents: 79528
diff changeset 
    42
 
verit-2021.06.2-rmx-1
81087
e0327a38bf4d updated vscode_extension;
Fabian Huch <huch@in.tum.de>
parents: 80156
diff changeset 
    43
 
vscode_extension-20241002
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 
    44
 
vscodium-1.70.1
81640
c734c2a15e32 update to xz-java-1.10 for further testing (see also fe7238c01809);
wenzelm
parents: 81638
diff changeset 
    45
 
xz-java-1.10
79755
3066125a7f51 discontinue unstable z3-4.4.1 for arm64-linux from Debian (in contrast to 796ae338eb9d and 87718883c8b9);
wenzelm
parents: 79753
diff changeset 
    46
 
z3-4.4.0pre-4
74458
91ede652d828 include arm64-linux;
wenzelm
parents: 74454
diff changeset 
    47
 
zipperposition-2.1-1
81606
5995afcacbc3 update to zstd-jni-1.5.6-8;
wenzelm
parents: 81605
diff changeset 
    48
 
zstd-jni-1.5.6-8
isabelle