DIR CVS
  TEXT hanoi.sed
  TEXT math.sed
  TEXT sed.test