summaryrefslogtreecommitdiff
path: root/isabelle-unicode (follow)
Commit message (Collapse)AuthorAgeFilesLines
* proof of concept: talking to `isabelle server`stuebinm2021-09-211-17/+0
| | | | | for now this just checks a file given on the command line, and panics if anything at all goes wrong.
* somewhat pointless generalisation of a type signaturestuebinm2021-09-031-5/+7
| | | | | There's no real reason for this other than that I wanted to know if abstracting over &[T] -> T and &str -> String etc. was possible.
* remove grmtoolsstuebinm2021-09-032-0/+80
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).