/colors.png/1.1/Mon Nov 27 05:24:27 2000//TKDE_3_0_BRANCH
/exec.png/1.1/Mon Nov 27 05:24:27 2000//TKDE_3_0_BRANCH
/fonts.png/1.1/Mon Nov 27 05:24:27 2000//TKDE_3_0_BRANCH
/mouse.png/1.1/Mon Nov 27 05:24:27 2000//TKDE_3_0_BRANCH
D
