Apache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80Name Last modified Size Description
Parent Directory -
README 2006-05-09 15:42 1.0K
OptEngInstruct.tex 2006-05-29 21:59 16K
opteng.sty 2006-05-29 01:57 18K
OptEngInstruct.pdf 2006-05-29 21:59 45K