Name Last modified Size Description Parent Directory 03-Dec-2002 08:44 - moreverb.ins 20-Mar-2002 00:00 1k moreverb.dtx 20-Mar-2002 00:00 19k README 22-May-1996 00:00 1k