diff options
author | stuebinm | 2021-09-04 16:08:26 +0200 |
---|---|---|
committer | stuebinm | 2021-09-04 16:08:26 +0200 |
commit | 531dc149df8c1ba62ee7875f819a94d789935385 (patch) | |
tree | bf9b9a169eb7cb6aae0ea258905d8b2e053f8f55 /symbolmacro/Cargo.toml | |
parent | c914a1532b86b95b89e48ef8a1e43657194ff0dd (diff) |
add isabat script
This just calls the isabelle2nix util and pipes its output directly into
bat, resulting in a somewhat usable cli tool for .thy files.
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions