../ Makefile 15-Jul-2004 17:51 1742 vmargin.dtx 15-Jul-2004 17:52 31496 vmargin.ins 14-Mar-2000 12:14 756 vmargin.pdf 15-Jul-2004 17:53 178396