initial commit

1 files changed, 17 insertions, 0 deletions

diff --git a/isabelle-dump/Cargo.toml b/isabelle-dump/Cargo.toml
new file mode 100644
index 0000000..924737f
--- /dev/null
+++ b/isabelle-dump/Cargo.toml
@@ -0,0 +1,17 @@
+[package]
+name = "isabelle-dump"
+version = "0.1.0"
+authors = ["stuebinm <stuebinm@disroot.org>"]
+edition = "2018"
+
+
+[build-dependencies]
+cfgrammar = "0.10"
+lrlex = "0.10"
+lrpar = "0.10"
+
+[dependencies]
+cfgrammar = "0.10"
+lrlex = "0.10"
+lrpar = "0.10"
+symbolmacro = { path = "../symbolmacro", version = "0.1" }