/bg.edc/1.1/Sun Jun  5 14:55:57 2005//
/button_bar.edc/1.1/Sun Jun  5 14:55:57 2005//
/buttons.edc/1.1/Sun Jun  5 14:55:57 2005//
/entry.edc/1.2/Tue Aug  2 17:25:13 2005//
/error.edc/1.1/Sun Jun  5 14:55:57 2005//
/instruction.edc/1.1/Sun Jun  5 14:55:57 2005//
/interface.edc/1.1/Sun Jun  5 14:55:57 2005//
/logo.edc/1.2/Wed Jun  8 13:58:04 2005//
/run_in_term.edc/1.1/Wed Jun  8 13:58:04 2005//
D
