wenzelm [Wed, 12 Mar 2025 11:39:00 +0100] rev 82265
update for release;
wenzelm [Wed, 12 Mar 2025 11:22:08 +0100] rev 82264
tuned;
wenzelm [Wed, 12 Mar 2025 11:11:45 +0100] rev 82263
more on "Explicit highlighting" and "Search" field;
more on "Implicit highlighting" and "Auto hovering";
wenzelm [Wed, 12 Mar 2025 11:07:16 +0100] rev 82262
tuned NEWS: horizontal position is treated, too;
wenzelm [Wed, 12 Mar 2025 00:12:42 +0100] rev 82261
more on nested syntax structure;
wenzelm [Tue, 11 Mar 2025 23:27:54 +0100] rev 82260
tuned text to fit better to slightly changed screenshot;
wenzelm [Tue, 11 Mar 2025 23:10:15 +0100] rev 82259
update screenshots for Isabelle2025: very minor deviations of content;
wenzelm [Mon, 10 Mar 2025 23:30:15 +0100] rev 82258
suppress bundled naproche-20250310: fails on Windows due to "aux" directory;
wenzelm [Mon, 10 Mar 2025 19:11:24 +0100] rev 82257
update to naproche-20250310 (changeset 8a12c7c4be88): consolidation of examples;
wenzelm [Sat, 08 Mar 2025 22:19:49 +0100] rev 82256
proper documentation for ML antiquotation \<^instantiate>;