(DIR) ..
 (DIR) bfont                                                     22B 2006-01-01 21:20 CET
 (DIR) dtp                                                       84B 2005-10-30 19:47 CET
 (DIR) edit                                                     210B 2005-10-30 19:48 CET
 (DIR) font                                                      44B 2005-10-30 09:20 CET
 (DIR) hyper                                                     73B 2005-10-30 19:48 CET
 (DIR) ifont                                                     78B 2005-10-30 09:46 CET
 (DIR) misc                                                     4.0K 2005-10-30 19:49 CET
 (DIR) pfont                                                    163B 2005-10-30 19:52 CET
 (DIR) print                                                    155B 2006-01-01 21:11 CET
 (DIR) show                                                      68B 2006-01-01 21:11 CET
 (DIR) tex                                                      126B 2005-10-30 12:04 CET