Email Gateway (Aug 19 2022 at 15:33): Email Gateway (Aug 19 2022 at 15:33):From: bnord <bnord01@gmail.com>
Dear Isabelle developers,
earlier today I was frustrated again to have no /approximate/ rendering
of bsup/esup in Isabelle/jEdit. I therefore spent the evening digging
into the Isabelle source code for the first time and came up with the
attached _experimental_ /solution/. It applies the outermost control and
and prints control symbols for inner ones.
It works well for my use cases and I didn't observe any problems so far.
But probably this will break everything somewhere else as I'm not aware
in which contexts the modified code is used. So Makarius could have a
look if he likes. I didn't figure out how update/edit_control_style are
used and whether that may cause any problems.
I'll be happy if you give it a test run and have any comments.
Best
Benedikt
BsubEsub.patch
Last updated: Apr 30 2024 at 20:15 UTC