isabelle-utils/isabat, branch master attempts at improving isabelle tooling outside jedit add some sanity checks to isabat 2021-09-04T14:30:19+00:00 stuebinm 2021-09-04T14:30:19+00:00 cf10164ccc1f937ce059acbb2b426a2beb1ffdd0 (will now print errors if bat/the highlighter theme is missing) 
(will now print errors if bat/the highlighter theme is missing)
add isabat script 2021-09-04T14:08:26+00:00 stuebinm 2021-09-04T14:08:26+00:00 531dc149df8c1ba62ee7875f819a94d789935385 This just calls the isabelle2nix util and pipes its output directly into bat, resulting in a somewhat usable cli tool for .thy files. 
This just calls the isabelle2nix util and pipes its output directly into
bat, resulting in a somewhat usable cli tool for .thy files.