diff options
author | stuebinm | 2021-09-21 22:25:59 +0200 |
---|---|---|
committer | stuebinm | 2021-09-21 22:50:24 +0200 |
commit | 5a021caf3ff516c110571bfb4485e833ba8b1d06 (patch) | |
tree | bfaff792077a25c0754f6e7beed10e3f4864dd86 /isabelle-proto/Cargo.toml | |
parent | 2eebd7b354432ae564757a93c7b8c44150b58010 (diff) |
proof of concept: talking to `isabelle server`
for now this just checks a file given on the command line, and panics if
anything at all goes wrong.
Diffstat (limited to 'isabelle-proto/Cargo.toml')
-rw-r--r-- | isabelle-proto/Cargo.toml | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/isabelle-proto/Cargo.toml b/isabelle-proto/Cargo.toml new file mode 100644 index 0000000..351532f --- /dev/null +++ b/isabelle-proto/Cargo.toml @@ -0,0 +1,14 @@ +[package] +name = "isabelle-proto" +version = "0.1.0" +authors = ["stuebinm <stuebinm@disroot.org>"] +edition = "2018" + +# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html + +[dependencies] +regex = "1" +serde = { version = "1.0.130", features = [ "derive" ] } +serde_json = "1.0.68" +isabelle-unicode = { path = "../isabelle-unicode" } +structopt = "0.3.23" |