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

summary refs log tree commit diff

path: root/Cargo.toml

blob: a9f93806740c0f5ea52d8f3ec29b8862d4d7cd77 (plain)

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