1 #!/usr/bin/env bash
2 #
3 # Isabelle/jEdit interface wrapper
4
5 set -x
6
7 ## diagnostics
5 ## diagnostics
8
9 usage()
7 usage()
10 {
8 {