more portable hash-bang;

--- a/Admin/MacOS/App1/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/Admin/MacOS/App1/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # Make Isabelle application bundle
 

--- a/Admin/MacOS/App1/script	Tue Sep 10 11:46:51 2013 +0200
+++ b/Admin/MacOS/App1/script	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # Author: Makarius
 #

--- a/Admin/MacOS/App2/mk	Tue Sep 10 11:46:51 2013 +0200
+++ b/Admin/MacOS/App2/mk	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # Make Isabelle/JVM application bundle
 

--- a/Admin/PIDE/convert	Tue Sep 10 11:46:51 2013 +0200
+++ b/Admin/PIDE/convert	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 THIS="$(cd "$(dirname "$0")"; pwd)"
 SUPER="$(cd "$THIS/.."; pwd)"

--- a/src/Doc/Classes/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/Classes/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/Codegen/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/Codegen/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/Datatypes/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/Datatypes/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/Functions/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/Functions/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/Intro/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/Intro/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/IsarImplementation/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/IsarImplementation/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/IsarRef/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/IsarRef/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/LaTeXsugar/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/LaTeXsugar/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/Locales/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/Locales/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/Logics/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/Logics/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/Main/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/Main/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/Nitpick/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/Nitpick/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/ProgProve/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/ProgProve/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/Sledgehammer/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/Sledgehammer/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/System/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/System/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/Tutorial/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/Tutorial/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/ZF/document/build	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/ZF/document/build	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/Doc/fixbookmarks	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/fixbookmarks	Tue Sep 10 11:57:53 2013 +0200
@@ -1,3 +1,3 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 perl -pi -e 's/\\([a-zA-Z]+)\s*/$1/g; s/\$//g; s/^BOOKMARK/\\BOOKMARK/g;' "$@"

--- a/src/Doc/prepare_document	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/Doc/prepare_document	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

--- a/src/HOL/IMP/export.sh	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/HOL/IMP/export.sh	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # Author: Gerwin Klein
 #

--- a/src/HOL/TPTP/TPTP_Parser/make_mlyacclib	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/HOL/TPTP/TPTP_Parser/make_mlyacclib	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # make_mlyacclib - Generates Isabelle-friendly version of ML-Yacc's library.
 #

--- a/src/HOL/TPTP/TPTP_Parser/make_tptp_parser	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/HOL/TPTP/TPTP_Parser/make_tptp_parser	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # make_tptp_parser - Runs ML-Yacc to generate TPTP parser and makes it
 #                    Isabelle-friendly.

--- a/src/HOL/Tools/Sledgehammer/MaSh/src/compareStats.py	Tue Sep 10 11:46:51 2013 +0200
+++ b/src/HOL/Tools/Sledgehammer/MaSh/src/compareStats.py	Tue Sep 10 11:57:53 2013 +0200
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 #     Title:      HOL/Tools/Sledgehammer/MaSh/src/compareStats.py
 #     Author:     Daniel Kuehlwein, ICIS, Radboud University Nijmegen
 #     Copyright   2012