isabelle-utils - attempts at improving isabelle tooling outside jedit

	Commit message (Collapse)	Author	Age	Files	Lines
*	isabelle2unicode: read from files, cli argumentsHEAD master	stuebinm	47 hours	1	-4/+42
\|
*	crate name: util → isabelle2unicode	stuebinm	2021-09-04	2	-0/+33