--- a/src/Tools/find-orphans Tue Dec 16 12:24:31 1997 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,6 +0,0 @@ -#! /bin/csh -# $Id$ -# Find all "orphan" ML-files (those with no thy-file) -foreach f (*.ML) - if ( ! -f $f:r.thy ) echo $f -end