fixed darcs file list and frontend improvements