From 3e24f64d9652bebe49838f244f1e1bfa2cc45f17 Mon Sep 17 00:00:00 2001 From: stuebinm Date: Sat, 4 Sep 2021 16:07:30 +0200 Subject: crate name: util → isabelle2unicode --- isabelle2unicode/Cargo.toml | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 isabelle2unicode/Cargo.toml (limited to 'isabelle2unicode/Cargo.toml') diff --git a/isabelle2unicode/Cargo.toml b/isabelle2unicode/Cargo.toml new file mode 100644 index 0000000..53a5aa4 --- /dev/null +++ b/isabelle2unicode/Cargo.toml @@ -0,0 +1,10 @@ +[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" } -- cgit v1.2.3