isabelle: Changelog

wenzelm [Tue, 09 May 2023 22:58:09 +0200] rev 78011

updated to jdk-17.0.7;

wenzelm [Tue, 09 May 2023 21:50:04 +0200] rev 78010

minor performance tuning (see also f906f7f83dae and b23c42b9f78a);

wenzelm [Tue, 09 May 2023 21:32:03 +0200] rev 78009

performance tuning: cached non-persistent Parser.gram reduces heap size by approx. 1-4%;

wenzelm [Tue, 09 May 2023 20:32:49 +0200] rev 78008

more operations;

wenzelm [Tue, 09 May 2023 19:56:31 +0200] rev 78007

tuned: more readable ML;

wenzelm [Tue, 09 May 2023 19:47:11 +0200] rev 78006

tuned;

wenzelm [Tue, 09 May 2023 19:35:46 +0200] rev 78005

backed out changeset 4660181c83c9: remove rather pointless timing (1..50ms);

wenzelm [Tue, 09 May 2023 16:59:20 +0200] rev 78004

maintain dynamic position where values are created (again, amending afa6117bace4);

wenzelm [Tue, 09 May 2023 16:39:08 +0200] rev 78003

more robust: publish token only after assignment of result;

wenzelm [Tue, 09 May 2023 16:33:30 +0200] rev 78002

tuned comments;

isabelle