Isabelle
author bulwahn
Tue, 15 Nov 2011 15:38:50 +0100
changeset 45507 6975db7fd6f0
parent 44861 329ced2615eb
child 50805 69439c9defec
permissions -rwxr-xr-x
improved generators for rational numbers to generate negative numbers; added examples

#!/usr/bin/env bash
#
# Author: Makarius
#
# Default Isabelle application wrapper.

exec "$(dirname "$0")"/bin/isabelle jedit "$@"