src/Tools/find-orphans
changeset 903 26138063bb88
equal deleted inserted replaced
902:cc80f53b28c6 903:26138063bb88
       
     1 #! /bin/csh
       
     2 # $Id$
       
     3 # Find all "orphan" ML-files (those with no thy-file)
       
     4 foreach f (*.ML)
       
     5   if ( ! -f $f:r.thy ) echo $f
       
     6 end