1 files changed, 12 insertions, 0 deletions
diff --git a/isabat b/isabat
new file mode 100755
index 0000000..12efd1d
--- /dev/null
+++ b/isabat
@@ -0,0 +1,12 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+if [ $# -eq 0 ]
+then
+    echo "isabat: pretty-print isabelle theories on a terminal using bat."
+    echo ""
+    echo "please provide a .thy file to display."
+    exit
+fi
+
+cat "$1" | isabelle2unicode | bat --file-name "$1" --theme TwoDark