isabelle-utils - attempts at improving isabelle tooling outside jedit

	Commit message (Collapse)	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	1	-0/+312
	for now this just checks a file given on the command line, and panics if anything at all goes wrong.