--- ./bin/Isabelle.orig	Sun Sep  2 15:23:58 2007
+++ ./bin/Isabelle	Sun Sep  2 16:05:40 2007
@@ -1,4 +1,4 @@
-#!/usr/bin/env bash
+#!/bin/sh
 #
 # $Id: Isabelle,v 1.30 2005/05/17 07:58:47 wenzelm Exp $
 # Author: Markus Wenzel, TU Muenchen