isabelle-utils, branch master attempts at improving isabelle tooling outside jedit isabelle2unicode: read from files, cli arguments 2026-01-20T16:53:44+00:00 stuebinm 2026-01-20T16:53:44+00:00 a44e60333135d9c10b1a0579693ea4c7a655fb05 






actually usable code structure for isabelle-proto
2021-10-26T16:13:50+00:00

stuebinm

2021-10-26T16:13:50+00:00

e7427d5c67c0a90c369adecb4b0c65c043cb2e34












better code structure for isabelle-proto
2021-10-26T16:04:16+00:00

stuebinm

2021-10-26T16:04:16+00:00

4c6d323ad1536e9ef6082eb34d872ccae1f389ef












slightly less hacky proof of concept
2021-10-26T15:47:29+00:00

stuebinm

2021-10-26T15:47:29+00:00

c6090f4b7fe238c34d4e15ceda0f1d9812a54276












proof of concept: talking to `isabelle server`
2021-09-21T20:50:24+00:00

stuebinm

2021-09-21T20:25:59+00:00

5a021caf3ff516c110571bfb4485e833ba8b1d06

for now this just checks a file given on the command line, and panics if
anything at all goes wrong.





for now this just checks a file given on the command line, and panics if
anything at all goes wrong.







update readme
2021-09-04T15:04:36+00:00

stuebinm

2021-09-04T15:04:36+00:00

2eebd7b354432ae564757a93c7b8c44150b58010












restructure nix stuff
2021-09-04T14:43:19+00:00

stuebinm

2021-09-04T14:43:19+00:00

3d7cd5018144c4c7b3a95ae7a1953445f6b25fa7

There's now a packageset in default.nix, and individual files for the
rust and shell script stuff.





There's now a packageset in default.nix, and individual files for the
rust and shell script stuff.







isabat: move into /bin dir in package
2021-09-04T14:34:20+00:00

stuebinm

2021-09-04T14:34:20+00:00

86ab660002443f940abc392cf4beab5172568887












update nix sources
2021-09-04T14:34:04+00:00

stuebinm

2021-09-04T14:30:59+00:00

147816450f7c10b4f0c734aa8910aef2d92f5496












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)