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 /symbols | |
| 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 'symbols')
0 files changed, 0 insertions, 0 deletions