diff options
| author | stuebinm | 2021-09-02 23:31:39 +0200 |
|---|---|---|
| committer | stuebinm | 2021-09-03 00:02:16 +0200 |
| commit | ad514f56b6cda288e605c44990ef16d30e6dee53 (patch) | |
| tree | bec6de5f4bdabf432c7045394af15ba96f525546 /isabelle-dump/Cargo.toml | |
| parent | 715001ba92799839afc97d92c9f0a79924085a69 (diff) | |
remove grmtools
the parser using grmtools was way oversized for just doing escape
sequences, and only really existed since I wanted to play around with
it.
The new implementation depends on no external crates, uses just an iter
wrapped into a nicely composable function, and appears to be exactly
equivalent (but faster).
Diffstat (limited to 'isabelle-dump/Cargo.toml')
| -rw-r--r-- | isabelle-dump/Cargo.toml | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/isabelle-dump/Cargo.toml b/isabelle-dump/Cargo.toml deleted file mode 100644 index 924737f..0000000 --- a/isabelle-dump/Cargo.toml +++ /dev/null @@ -1,17 +0,0 @@ -[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" } |