isabelle-utils - attempts at improving isabelle tooling outside jedit

Branch	Commit message	Author	Age
master	actually usable code structure for isabelle-proto	stuebinm	3 years


Age	Commit message	Author	Files	Lines
2021-10-26	actually usable code structure for isabelle-protoHEAD master	stuebinm	3	-95/+67
2021-10-26	better code structure for isabelle-proto	stuebinm	3	-135/+148
2021-10-26	slightly less hacky proof of concept	stuebinm	2	-70/+145
2021-09-21	proof of concept: talking to `isabelle server`	stuebinm	5	-21/+632
2021-09-04	update readme	stuebinm	1	-54/+33
2021-09-04	restructure nix stuff	stuebinm	4	-13/+24
2021-09-04	isabat: move into /bin dir in package	stuebinm	1	-1/+2
2021-09-04	update nix sources	stuebinm	2	-7/+7
2021-09-04	add some sanity checks to isabat	stuebinm	2	-1/+19
2021-09-04	add isabat script	stuebinm	2	-0/+34
[...]