summaryrefslogtreecommitdiff
path: root/util (follow)
Commit message (Collapse)AuthorAgeFilesLines
* crate name: util → isabelle2unicodestuebinm2021-09-042-33/+0
|
* remove grmtoolsstuebinm2021-09-032-0/+33
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).