Manuel Eberl (Apr 06 2023 at 16:29): Manuel Eberl (Apr 06 2023 at 16:29):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?
Mathias Fleury (Apr 06 2023 at 16:36):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
Mathias Fleury (Apr 06 2023 at 16:37):However, I don't know anyone who has used it :shrug:
Last updated: May 02 2024 at 04:18 UTC