Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - README 2014-06-11 22:38 918 longfigure.dtx 2014-06-11 19:37 27K longfigure.ins 2014-06-11 22:24 2.3K longfigure.pdf 2014-06-11 22:24 439K longfigure.sty 2014-06-11 22:24 13K