[package] name = "isabelle2unicode" version = "0.1.0" authors = ["stuebinm "] edition = "2018" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html [dependencies] isabelle-unicode = { path = "../isabelle-unicode" }