4 months ago print type constraints for consts with mixfix syntax;
wenzelm [Fri, 18 Oct 2024 20:48:01 +0200] rev 81194
print type constraints for consts with mixfix syntax;
4 months ago tuned comments;
wenzelm [Fri, 18 Oct 2024 19:00:51 +0200] rev 81193
tuned comments;
4 months ago obsolete (see 137ea3d464be);
wenzelm [Fri, 18 Oct 2024 19:00:13 +0200] rev 81192
obsolete (see 137ea3d464be);
4 months ago tuned proofs;
wenzelm [Fri, 18 Oct 2024 16:43:02 +0200] rev 81191
tuned proofs;
4 months ago tuned whitespace;
wenzelm [Fri, 18 Oct 2024 16:42:53 +0200] rev 81190
tuned whitespace;
4 months ago more inner-syntax markup;
wenzelm [Fri, 18 Oct 2024 16:37:39 +0200] rev 81189
more inner-syntax markup;
4 months ago less instrusive rendering for input buffer (in contrast to 264f043c5da1);
wenzelm [Fri, 18 Oct 2024 16:31:35 +0200] rev 81188
less instrusive rendering for input buffer (in contrast to 264f043c5da1);
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 tip