isabelle-utils - attempts at improving isabelle tooling outside jedit

	Commit message (Expand)	Author	Age	Files	Lines
*	isabat: move into /bin dir in package	stuebinm	2021-09-04	1	-1/+2
*	update nix sources	stuebinm	2021-09-04	2	-7/+7
*	add some sanity checks to isabat	stuebinm	2021-09-04	2	-1/+19
*	add isabat script	stuebinm	2021-09-04	2	-0/+34
*	package name: isabelle-dump → isabelle-unicode	stuebinm	2021-09-04	1	-1/+1
*	crate name: util → isabelle2unicode	stuebinm	2021-09-04	3	-2/+2
*	basic sublime text highlighter syntax (for bat)	stuebinm	2021-09-04	1	-0/+47
*	somewhat pointless generalisation of a type signature	stuebinm	2021-09-03	1	-5/+7
*	remove grmtools	stuebinm	2021-09-03	13	-1076/+124
*	add nix derivation	stuebinm	2021-06-23	4	-0/+221
*	initial commit	stuebinm	2021-06-23	16	-0/+1699