Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README 2019-11-04 17:19 1.0K
withargs-dry.sty 2019-11-04 17:19 2.1K
withargs.tex 2019-11-04 17:19 9.2K
withargs-packagedoc.cls 2019-11-04 17:19 11K
withargs.sty 2019-11-04 17:19 12K
withargs.pdf 2019-11-04 17:19 461K