Dummy change to document the change in revision 1.5:
Parent theory changed to HOLCF.thy (former Tr2.thy) .
Was necessary because the use of HOLCF_ss in Hoare.ML,
which has been extended by the introduction of the
Lift theories.
#!/bin/bash -norc
#
# $Id$
#
# ucat - uninterruptible cat.
#
# NOTE: If perl is unavailable we simply fall back on normal cat!
PERL=$(type -path perl)
if [ -z "$PERL" ]
then
exec cat "$@"
else
exec $PERL -e '$SIG{INT} = "IGNORE"; $| = 1; while (<ARGV>) {print;}' "$@"
fi