Cargo.toml - isabelle-utils - attempts at improving isabelle tooling outside jedit

summary refs log tree commit diff

path: root/Cargo.toml

blob: 26188a3245a6c3ac640f19e25dd80741a2d7a385 (plain)

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