wenzelm [Sun, 06 Oct 2024 21:54:53 +0200] rev 81122
tuned comments: all times are < 1ms;
wenzelm [Sun, 06 Oct 2024 18:34:35 +0200] rev 81121
support for pretty blocks that are "open" and thus have no impact on formatting, only on markup;
effectively revert 2cb4a2970941 and unify pretty-printing in Scala and ML, following Scala before that change;
build error messages are properly formatted again (amending 320bcbf34849): "no_report" markup does not affect its enclosed line break anymore;
wenzelm [Sun, 06 Oct 2024 13:02:33 +0200] rev 81120
clarified signature;
wenzelm [Sat, 05 Oct 2024 22:46:21 +0200] rev 81119
tuned;
wenzelm [Sat, 05 Oct 2024 22:24:24 +0200] rev 81118
more inner-syntax markup;
wenzelm [Sat, 05 Oct 2024 15:18:49 +0200] rev 81117
ML antiquotation for formally-checked bundle names;
wenzelm [Sat, 05 Oct 2024 14:58:36 +0200] rev 81116
first-class support for "unbundle no foobar_syntax" -- avoid redundant "bundle no_foobar_syntax" definitions;
wenzelm [Fri, 04 Oct 2024 23:38:04 +0200] rev 81115
misc tuning;
wenzelm [Fri, 04 Oct 2024 15:21:01 +0200] rev 81114
documentation for pretty block "notation" markup;
wenzelm [Fri, 04 Oct 2024 13:29:33 +0200] rev 81113
clarified syntax for opening bundles;
updated and tuned documentation;
wenzelm [Fri, 04 Oct 2024 13:22:35 +0200] rev 81112
tuned;
wenzelm [Fri, 04 Oct 2024 00:26:28 +0200] rev 81111
clarified bundles for syntax modifications;
wenzelm [Fri, 04 Oct 2024 00:00:50 +0200] rev 81110
bundles for syntax modifications seen in AFP;
wenzelm [Thu, 03 Oct 2024 23:34:55 +0200] rev 81109
tuned;