isabelle-utils - attempts at improving isabelle tooling outside jedit

	Commit message (Expand)	Author	Age	Files	Lines
*	actually usable code structure for isabelle-protoHEAD master	stuebinm	2021-10-26	3	-95/+67
*	better code structure for isabelle-proto	stuebinm	2021-10-26	3	-135/+148
*	slightly less hacky proof of concept	stuebinm	2021-10-26	2	-70/+145
*	proof of concept: talking to `isabelle server`	stuebinm	2021-09-21	5	-21/+632
*	update readme	stuebinm	2021-09-04	1	-54/+33
*	restructure nix stuff	stuebinm	2021-09-04	4	-13/+24
*	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