isabelle-utils - attempts at improving isabelle tooling outside jedit

	Commit message (Collapse)	Author	Age	Files	Lines
*	proof of concept: talking to `isabelle server`	stuebinm	2021-09-21	1	-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 signature	stuebinm	2021-09-03	1	-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 grmtools	stuebinm	2021-09-03	1	-0/+70
	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).