Wed, 07 Apr 2021 22:28:41 +0200 some tinkering with npm versions;
wenzelm [Wed, 07 Apr 2021 22:28:41 +0200] rev 73543
some tinkering with npm versions;
Wed, 07 Apr 2021 18:13:02 +0200 back to post-release mode;
wenzelm [Wed, 07 Apr 2021 18:13:02 +0200] rev 73542
back to post-release mode;
Wed, 07 Apr 2021 18:05:48 +0200 tuned signature;
wenzelm [Wed, 07 Apr 2021 18:05:48 +0200] rev 73541
tuned signature;
Wed, 07 Apr 2021 18:05:14 +0200 auto-update due to "isabelle build_vscode";
wenzelm [Wed, 07 Apr 2021 18:05:14 +0200] rev 73540
auto-update due to "isabelle build_vscode";
Wed, 07 Apr 2021 18:04:45 +0200 tuned;
wenzelm [Wed, 07 Apr 2021 18:04:45 +0200] rev 73539
tuned;
Wed, 07 Apr 2021 18:04:30 +0200 tuned --- following hints by IntelliJ IDEA;
wenzelm [Wed, 07 Apr 2021 18:04:30 +0200] rev 73538
tuned --- following hints by IntelliJ IDEA;
Wed, 07 Apr 2021 11:05:00 +0200 fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes)
Manuel Eberl <eberlm@in.tum.de> [Wed, 07 Apr 2021 11:05:00 +0200] rev 73537
fixed problematic addition operation in the 'approximation' package (previous version used much too high precision sometimes)
Wed, 07 Apr 2021 12:28:19 +0000 simplified definition
haftmann [Wed, 07 Apr 2021 12:28:19 +0000] rev 73536
simplified definition
Tue, 06 Apr 2021 18:12:20 +0000 new lemmas
haftmann [Tue, 06 Apr 2021 18:12:20 +0000] rev 73535
new lemmas
Mon, 05 Apr 2021 22:46:41 +0200 discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog-prove";
wenzelm [Mon, 05 Apr 2021 22:46:41 +0200] rev 73534
discontinue old Ubuntu 18.04 LTS, e.g. it cannot build documentation "prog-prove";
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 tip