paulson <lp15@cam.ac.uk> [Sun, 03 Aug 2025 20:34:24 +0100] rev 82913
New lemmas about improper integrals and other things
haftmann [Fri, 01 Aug 2025 20:01:55 +0200] rev 82912
prefer sign-agnostic conversion following bit structure
desharna [Fri, 01 Aug 2025 12:16:43 +0200] rev 82911
tuned for readability and got small performance improvement
haftmann [Thu, 31 Jul 2025 19:13:00 +0200] rev 82910
bring some code equations into natural order
haftmann [Sun, 27 Jul 2025 17:52:06 +0200] rev 82909
added missing colon
wenzelm [Sun, 27 Jul 2025 16:46:34 +0200] rev 82908
clarified signature;
wenzelm [Sun, 27 Jul 2025 16:41:25 +0200] rev 82907
clarified signature;
wenzelm [Sun, 27 Jul 2025 16:28:10 +0200] rev 82906
more direct support for "command_span" markup property "is_begin";
wenzelm [Sun, 27 Jul 2025 14:58:34 +0200] rev 82905
clarified signature;
wenzelm [Sun, 27 Jul 2025 14:53:30 +0200] rev 82904
misc tuning and clarification;
wenzelm [Sun, 27 Jul 2025 13:49:05 +0200] rev 82903
clarified signature;
haftmann [Thu, 24 Jul 2025 17:46:29 +0200] rev 82902
clarified code setup
haftmann [Thu, 24 Jul 2025 16:44:52 +0200] rev 82901
moved / rearranged lemma
haftmann [Wed, 23 Jul 2025 13:22:58 +0200] rev 82900
eliminate code drop: declarations where none needed
haftmann [Wed, 23 Jul 2025 13:22:51 +0200] rev 82899
internal setting to identify pointless code drop: declarations