ANNOUNCE
author wenzelm
Wed, 08 Nov 2023 12:41:41 +0100
changeset 78914 715f1bd21993
parent 78589 dccfe13878a5
child 80080 6e7f266b9ac2
permissions -rw-r--r--
obsolete (see also f627ab8c276c);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
78293
01060d86b040 update for release;
wenzelm
parents: 76155
diff changeset
     1
Subject: Announcing Isabelle2023
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     2
To: isabelle-users@cl.cam.ac.uk
b7698bd95a94 template;
wenzelm
parents:
diff changeset
     3
78293
01060d86b040 update for release;
wenzelm
parents: 76155
diff changeset
     4
Isabelle2023 is now available.
60116
5d90d301ad66 ANNOUNCE material, based on NEWS;
wenzelm
parents: 60016
diff changeset
     5
78293
01060d86b040 update for release;
wenzelm
parents: 76155
diff changeset
     6
This version introduces notable changes over Isabelle2022: see the
76108
bdab17df07a9 update for release;
wenzelm
parents: 74913
diff changeset
     7
NEWS file for further details. Here are various details:
73010
a569465f8b57 updated for release;
wenzelm
parents: 71491
diff changeset
     8
78296
wenzelm
parents: 78294
diff changeset
     9
* Documents: interactive document preparation via Isabelle/jEdit panel.
wenzelm
parents: 78294
diff changeset
    10
wenzelm
parents: 78294
diff changeset
    11
* Documents: demos for well-known LaTeX classes.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    12
78296
wenzelm
parents: 78294
diff changeset
    13
* Documents: more formal LaTeX citations.
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    14
78296
wenzelm
parents: 78294
diff changeset
    15
* HOL: various improvements of theory libraries, notably in HOL-Analysis.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    16
76108
bdab17df07a9 update for release;
wenzelm
parents: 74913
diff changeset
    17
* HOL: updates and improvements of Sledgehammer.
74651
81cc8f2ea9e7 updated for release;
wenzelm
parents: 73232
diff changeset
    18
78493
1e80fc36776c more robust support for ARM64 platform;
wenzelm
parents: 78455
diff changeset
    19
* ML: more robust support for ARM64 platform (native Apple Silicon).
1e80fc36776c more robust support for ARM64 platform;
wenzelm
parents: 78455
diff changeset
    20
78297
wenzelm
parents: 78296
diff changeset
    21
* ML: heap usage and stored heap size has been significantly reduced.
wenzelm
parents: 78296
diff changeset
    22
78293
01060d86b040 update for release;
wenzelm
parents: 76155
diff changeset
    23
* ML: improved implementations of functor Table() and corresponding Set().
71485
29e297fd5473 updated for release;
wenzelm
parents: 70286
diff changeset
    24
78293
01060d86b040 update for release;
wenzelm
parents: 76155
diff changeset
    25
* Scala and ML: support for Zstd compression.
68648
371e814af6f0 more ANNOUNCE;
wenzelm
parents: 68599
diff changeset
    26
78294
wenzelm
parents: 78293
diff changeset
    27
* System: more robust "isabelle sync" tool via bundled "rsync" executables.
68545
7922992c99ea misc tuning and updates for release;
wenzelm
parents: 68391
diff changeset
    28
78455
127e4e952446 update for release;
wenzelm
parents: 78297
diff changeset
    29
* System: "isabelle profiling" tool produces ML heap statistics.
127e4e952446 update for release;
wenzelm
parents: 78297
diff changeset
    30
78589
dccfe13878a5 update for release;
wenzelm
parents: 78525
diff changeset
    31
* System: experimental support for distributed build clusters.
76155
6149f7553ea9 more items;
wenzelm
parents: 76114
diff changeset
    32
12983
7d13480ee668 more stuff;
wenzelm
parents: 12964
diff changeset
    33
78293
01060d86b040 update for release;
wenzelm
parents: 76155
diff changeset
    34
You may get Isabelle2023 from the following mirror sites:
9928
b7698bd95a94 template;
wenzelm
parents:
diff changeset
    35
68599
cc7b5e0355a5 prefer HTTPS;
wenzelm
parents: 68567
diff changeset
    36
  Cambridge (UK)       https://www.cl.cam.ac.uk/research/hvg/Isabelle
cc7b5e0355a5 prefer HTTPS;
wenzelm
parents: 68567
diff changeset
    37
  Munich (Germany)     https://isabelle.in.tum.de
70032
0674c24afc5e updated for release;
wenzelm
parents: 68648
diff changeset
    38
  Sydney (Australia)   https://mirror.cse.unsw.edu.au/pub/isabelle
68599
cc7b5e0355a5 prefer HTTPS;
wenzelm
parents: 68567
diff changeset
    39
  Potsdam, NY (USA)    https://mirror.clarkson.edu/isabelle