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

summary refs log tree commit diff

path: root/Cargo.toml

blob: fbb6fcd613a273da91be41d12778675657e31389 (plain)

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