isabelle-utils - attempts at improving isabelle tooling outside jedit

	Commit message (Collapse)	Author	Files	Lines
2021-09-04	add isabat script	stuebinm	1	-0/+12
	This just calls the isabelle2nix util and pipes its output directly into bat, resulting in a somewhat usable cli tool for .thy files.