isabelle-utils - attempts at improving isabelle tooling outside jedit

Branch	Commit message	Author	Age
master	isabelle2unicode: read from files, cli arguments	stuebinm	6 days


Age	Commit message	Author	Files	Lines
6 days	isabelle2unicode: read from files, cli argumentsHEAD master	stuebinm	1	-4/+42
2021-10-26	actually usable code structure for isabelle-proto	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
[...]