../ rubibtex/ 16-Aug-2008 12:48 - rumkidx/ 07-Sep-2004 08:10 - utf-8/ 16-Aug-2008 12:48 - amsppt.diff 29-Nov-1998 23:00 2521 citehack.sty 10-Dec-1999 00:00 3476 mathtext.dtx 06-May-2018 05:41 8612 mathtext.ins 13-Mar-1999 23:00 115 misccorr.sty 14-Dec-2004 18:59 10309 ruinpenc 11-Jul-1999 00:00 1592 t2filter.c 03-Jun-1998 22:00 1470