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
Sat, 16 Jan 2021 22:52:43 +0100
changeset 73136 ca17e9ebfdf1
parent 73118 9480a9efe19e
child 73160 aeba7bb4f4d4
permissions -rw-r--r--
updated to scala-2.13.4;
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
72345
14be5c341377 support arm64-linux;
wenzelm
parents: 72247
diff changeset 
     2
 
bash_process-1.2.3-1
70085
23c0dfa39dce updated to bib2xhtml-20190409: current repository clone;
wenzelm
parents: 70084
diff changeset 
     3
 
bib2xhtml-20190409
72419
72667f4994a6 updated to csdp-6.1.1, with support for arm64-linux;
wenzelm
parents: 72413
diff changeset 
     4
 
csdp-6.1.1
72684
dcc0022f0179 updated to cvc4-1.8;
wenzelm
parents: 72660
diff changeset 
     5
 
cvc4-1.8
72456
cd3419427cd3 activate E 2.5 for production use (see also 5d1a7b688f6d);
wenzelm
parents: 72419
diff changeset 
     6
 
e-2.5-1
73118
9480a9efe19e proper size of buttons in Symbols dockable, e.g. \<A> 0x01d49c vs. \<B> 0x00212c;
wenzelm
parents: 73111
diff changeset 
     7
 
flatlaf-0.46-1
70374
2b4c40722f0b updated to isabelle_fonts-20190717;
wenzelm
parents: 70293
diff changeset 
     8
 
isabelle_fonts-20190717
73089
af54129abd9e updated jdk-15.0.1+9, including arm64-darwin;
wenzelm
parents: 73000
diff changeset 
     9
 
jdk-15.0.1+9
72983
a8050df4f58f clarified fonts, notably for Windows L&F;
wenzelm
parents: 72971
diff changeset 
    10
 
jedit_build-20201223
72789
935f028d5f44 updated to jfreechart-1.5.1;
wenzelm
parents: 72684
diff changeset 
    11
 
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 
    12
 
jortho-1.0-2
72206
8ee5743a8b36 updated to kodkodi-1.5.6: more robust treatment of interrupt;
wenzelm
parents: 72202
diff changeset 
    13
 
kodkodi-1.5.6
66636
6585669c33dc added/updated components
blanchet
parents: 66493
diff changeset 
    14
 
nunchaku-0.5
72358
91f38e34aa3f updated to opam-2.0.7;
wenzelm
parents: 72354
diff changeset 
    15
 
opam-2.0.7
72660
7d4e9f7742c6 updated to polyml-test-7e49fce62e3d --- follow current ongoing development;
wenzelm
parents: 72553
diff changeset 
    16
 
polyml-test-f86ae3dc1686
72790
427b18abf925 updated to postgresql-42.2.18;
wenzelm
parents: 72789
diff changeset 
    17
 
postgresql-42.2.18
73136
ca17e9ebfdf1 updated to scala-2.13.4;
wenzelm
parents: 73118
diff changeset 
    18
 
scala-2.13.4
66636
6585669c33dc added/updated components
blanchet
parents: 66493
diff changeset 
    19
 
smbc-0.4.1
72413
c2b44fb3add4 rebuild component following current "isabelle build_e" and Admin/PLATFORMS;
wenzelm
parents: 72407
diff changeset 
    20
 
spass-3.8ds-2
73000
a4efee8f8842 updated to sqlite-jdbc-3.34.0, with support for native arm64-darwin;
wenzelm
parents: 72983
diff changeset 
    21
 
sqlite-jdbc-3.34.0
69961
708743578e45 updated to ssh-java-20190323 (with jsch-0.1.55.jar);
wenzelm
parents: 69954
diff changeset 
    22
 
ssh-java-20190323
72791
b79755daf0ad updated to Haskell stack-2.5.1, stackage lts-16.12, ghc-8.8.4;
wenzelm
parents: 72790
diff changeset 
    23
 
stack-2.5.1
68564
3ee6947bfb34 added Vampire component
blanchet
parents: 68473
diff changeset 
    24
 
vampire-4.2.2
72970
06e5ba0d1d2c sort lines;
wenzelm
parents: 72969
diff changeset 
    25
 
verit-2020.10-rmx-1
67995
927c6f4405db updated to xz-java-1.8;
wenzelm
parents: 67992
diff changeset 
    26
 
xz-java-1.8
70293
c7e9d3a0a681 more direct invocation of Windows exe: avoid extra bash, cygpath, exec;
wenzelm
parents: 70291
diff changeset 
    27
 
z3-4.4.0pre-3
72971
162b71f7e554 rebuild component with proper ZIPPERPOSITION_HOME for sledgehammer;
wenzelm
parents: 72970
diff changeset 
    28
 
zipperposition-2.0-1
isabelle