What is the state of the art for refactoring syntax/notation in the inner syntax these days? Is there some tool support for this already that goes beyond JEdit's search & replace or regexes or sed? Something AST-based, perhaps?
Makarius mentions every once in a while that AST based works. I remember that one https://isabelle.zulipchat.com/#narrow/stream/247541-Mirror.3A-Isabelle-Users-Mailing-List/topic/.5Bisabelle.5D.20Syntax.20in.20Map.2Ethy/near/327280055
However, I don't know anyone who has used it :shrug:
Last updated: Dec 07 2023 at 08:19 UTC