Name Last modified Size Description Parent Directory - 00readme.vrs 1998-06-05 09:00 1.3K vrsion.dtx 1998-06-05 09:00 25K vrsion.ins 1998-06-05 09:00 2.0K vrsion.pdf 2005-06-22 18:40 264K