Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
multidef-test.tex 2016-04-20 04:33 812
README 2016-04-20 04:30 1.3K
multidef.pdf 2016-04-20 00:42 191K
multidef.dtx 2016-04-20 00:42 13K
multidef.ins 2016-04-20 00:06 941