--- a/bin/isabelle Sat Mar 26 16:10:22 2011 +0100
+++ b/bin/isabelle Sat Mar 26 16:21:41 2011 +0100
@@ -55,7 +55,7 @@
do
TOOL="$DIR/$TOOLNAME"
case "$TOOL" in
- *~) ;;
+ *~ | *.orig) ;;
*) [ -f "$TOOL" -a -x "$TOOL" ] && exec "$TOOL" "$@" ;;
esac
done