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
Sun, 20 Feb 2022 15:30:07 +0100
changeset 75105 03115c9eea00
parent 74995 68ffcf5cc94b
child 75309 216c2ac23a84
permissions -rw-r--r--
support for PDF.js: platform-independent PDF viewer;
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
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
73635
3531d20cf2fd removed junk;
wenzelm
parents: 73600
diff changeset 
     4
 
bash_process-1.2.4-2
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
74842
29672359a371 updated to flatlaf-1.6.4;
wenzelm
parents: 74819
diff changeset 
     9
 
flatlaf-1.6.4
73652
d5c3eee7da74 separate component for idea-icons.jar, from jedit_build (see also ff0e0bb81597);
wenzelm
parents: 73647
diff changeset 
    10
 
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 
    11
 
isabelle_fonts-20211004
74738
cba1da393958 more accurate Files.isRegularFile, exclude directories (e.g. jar_path);
wenzelm
parents: 74734
diff changeset 
    12
 
isabelle_setup-20211109
74992
79635df97a90 updated to jdk-17.0.2+8;
wenzelm
parents: 74919
diff changeset 
    13
 
jdk-17.0.2+8
74660
a755733c1eb5 suppress sources from jEdit/test, which prevent regular build of the generated scala_project;
wenzelm
parents: 74657
diff changeset 
    14
 
jedit-20211103
74413
54a064957ff3 updated to jfreechart-1.5.3;
wenzelm
parents: 74412
diff changeset 
    15
 
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 
    16
 
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 
    17
 
kodkodi-1.5.7
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 
    18
 
minisat-2.2.1-1
66636
6585669c33dc added/updated components
blanchet
parents: 66493
diff changeset 
    19
 
nunchaku-0.5
72358
91f38e34aa3f updated to opam-2.0.7;
wenzelm
parents: 72354
diff changeset 
    20
 
opam-2.0.7
75105
03115c9eea00 support for PDF.js: platform-independent PDF viewer;
wenzelm
parents: 74995
diff changeset 
    21
 
pdfjs-2.12.313
74995
68ffcf5cc94b updated to polyml-test-15c840d48c9a;
wenzelm
parents: 74992
diff changeset 
    22
 
polyml-test-15c840d48c9a
74414
4e58bc7215a0 updated to postgresql-42.2.24;
wenzelm
parents: 74413
diff changeset 
    23
 
postgresql-42.2.24
74722
b92b5a57521b back to scala-2.13.5: avoid crash of Scala REPL on arm64-darwin;
wenzelm
parents: 74721
diff changeset 
    24
 
scala-2.13.5
66636
6585669c33dc added/updated components
blanchet
parents: 66493
diff changeset 
    25
 
smbc-0.4.1
72413
c2b44fb3add4 rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
wenzelm
parents: 72407
diff changeset 
    26
 
spass-3.8ds-2
74415
192a452fac52 updated to sqlite-jdbc-3.36.0.3;
wenzelm
parents: 74414
diff changeset 
    27
 
sqlite-jdbc-3.36.0.3
69961
708743578e45 updated to ssh-java-20190323 (with jsch-0.1.55.jar);
wenzelm
parents: 69954
diff changeset 
    28
 
ssh-java-20190323
74064
d871882ad651 update to Haskell stack-2.7.3 and stackage lts-17.15;
wenzelm
parents: 74061
diff changeset 
    29
 
stack-2.7.3
74466
d4c2a9191cd1 updated to Vampire 4.6, as proposed by Martin Desharnais;
wenzelm
parents: 74460
diff changeset 
    30
 
vampire-4.6
74819
ed3adabf0dbe updated to verit-2021.06.2-rmx;
wenzelm
parents: 74796
diff changeset 
    31
 
verit-2021.06.2-rmx
74416
9f34c780906e updated to xz-java-1.9;
wenzelm
parents: 74415
diff changeset 
    32
 
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 
    33
 
z3-4.4.0_4.4.1
74458
91ede652d828 include arm64-linux;
wenzelm
parents: 74454
diff changeset 
    34
 
zipperposition-2.1-1
isabelle