--- a/bin/isabelle Thu May 15 14:59:46 1997 +0200 +++ b/bin/isabelle Thu May 15 15:18:00 1997 +0200 @@ -1,4 +1,4 @@ -#!/usr/wiss/wenzelm/bin/bash +#!/bin/bash # # $Id$ #