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