Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README 2007-04-23 17:32 539
xnewcommand.pdf 2007-04-23 17:34 269K
xnewcommand.sty 2007-04-23 17:32 470
xnewcommand.tex 2007-04-23 17:32 3.8K