isabelle-utils - attempts at improving isabelle tooling outside jedit

	Commit message (Collapse)	Author	Files	Lines
2021-09-04	crate name: util → isabelle2unicode	stuebinm	2	-33/+0

2021-09-03	remove grmtools	stuebinm	2	-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).