isabelle-dump/Cargo.toml


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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" }