ANNOUNCE
17 months ago wenzelm update for release;
17 months ago wenzelm avoid confusion: this is merely about "isabelle dotnet_setup", no codegen yet;
17 months ago wenzelm more robust support for ARM64 platform;
18 months ago wenzelm update for release;
18 months ago wenzelm tuned;
18 months ago wenzelm tuned;
18 months ago wenzelm tuned;
18 months ago wenzelm update for release;
2022-09-14 wenzelm more items;
2022-09-11 wenzelm tuned;
2022-09-10 wenzelm update for release;
2021-12-11 wenzelm tuned; Isabelle2021-1
2021-11-03 wenzelm more to ANNOUNCE;
2021-11-01 wenzelm updated for release;
2021-02-07 wenzelm updated for release;
2021-01-18 wenzelm tuned;
2021-01-08 wenzelm clarified default L&F;
2020-12-27 wenzelm updated for release;
2020-02-28 wenzelm tuned;
2020-02-26 wenzelm updated for release;
2019-05-21 wenzelm proper version;
2019-04-10 wenzelm updated for release;
2019-04-02 wenzelm updated for release;
2018-07-18 wenzelm more ANNOUNCE;
2018-07-06 wenzelm prefer HTTPS;
2018-07-02 wenzelm tuned;
2018-07-01 wenzelm tuned;
2018-06-29 wenzelm misc tuning and updates for release;
2018-06-06 wenzelm updated for release;
2017-09-08 wenzelm updated for release;
2017-09-03 wenzelm updated for release;
2017-08-21 wenzelm tuned;
2017-08-21 wenzelm misc updates for release;
2016-12-12 wenzelm tuned; Isabelle2016-1
2016-10-28 wenzelm tuned;
2016-10-28 wenzelm tuned;
2016-10-25 wenzelm updated for release;
2016-10-07 wenzelm updated for release;
2016-01-18 wenzelm updated mirrors according to website;
2016-01-16 wenzelm tuned URLs according to website;
2016-01-06 wenzelm misc tuning for release;
2016-01-05 wenzelm misc tuning for release;
2016-01-01 wenzelm tuned;
2016-01-01 wenzelm updated for release;
2015-12-31 wenzelm misc updates for release;
2015-04-17 wenzelm tuned spelling;
2015-04-17 wenzelm added Eisbach, using version 3752768caa17 of its Bitbucket repository;
2015-04-17 wenzelm ANNOUNCE material, based on NEWS;
2015-04-11 wenzelm updated for release;
2014-07-05 wenzelm update for release;
2014-07-04 wenzelm tuned;
2014-07-04 wenzelm tuned;
2014-07-04 wenzelm misc tuning for release;
2014-07-01 wenzelm misc updates for release;
2013-11-20 wenzelm updated to Isabelle2013-2;
2013-10-03 wenzelm tuned;
2013-10-03 wenzelm tuned;
2013-10-02 wenzelm some highlights of Isabelle2013-1 based on NEWS;
2013-09-29 wenzelm updated for release;
2013-01-25 wenzelm updated for release;
less more (0) -100 -60 tip