From ad514f56b6cda288e605c44990ef16d30e6dee53 Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Thu, 2 Sep 2021 23:31:39 +0200
Subject: 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).
---
 isabelle-dump/Cargo.toml | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 isabelle-dump/Cargo.toml

(limited to 'isabelle-dump/Cargo.toml')

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" }
-- 
cgit v1.2.3