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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    23.1 --- a/src/Doc/prepare_document	Tue Sep 10 11:46:51 2013 +0200
    23.2 +++ b/src/Doc/prepare_document	Tue Sep 10 11:57:53 2013 +0200
    23.3 @@ -1,4 +1,4 @@
    23.4 -#!/bin/bash
    23.5 +#!/usr/bin/env bash
    23.6  
    23.7  set -e
    23.8  

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

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

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

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