[workspace]
members = [
    "symbolmacro",
    "isabelle-unicode",
    "isabelle2unicode"
]