1 #!/bin/bash
1 #!/usr/bin/env bash
2 #
3 # Make Isabelle/JVM application bundle
4
5 THIS="$(cd "$(dirname "$0")"; pwd)"
6