method titles = [ "file" ; "status""working rev." ; "rep. rev." ; "date"]