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/src/calc.l | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 isabelle-dump/src/calc.l

(limited to 'isabelle-dump/src/calc.l')

diff --git a/isabelle-dump/src/calc.l b/isabelle-dump/src/calc.l
deleted file mode 100644
index 2bf98dc..0000000
--- a/isabelle-dump/src/calc.l
+++ /dev/null
@@ -1,5 +0,0 @@
-%%
-\\ "AOPEN"
-< "LT"
-<[^\\<>]+> "NAME"
-[^<\\][^\\]* "TEXT"
-- 
cgit v1.2.3