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

summary refs log tree commit diff

path: root/Cargo.toml

blob: 4e1b615e0e5fba79b3cc29b91ea556dad6218eea (plain)

1 2	`[workspace] members = ["isabelle-dump", "symbolmacro"]`