Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - slidenotes.readme 1996-03-01 01:00 439 slidenotes.ins 1998-12-15 01:00 970 slidenotes.cfg 1996-03-01 01:00 1.4K obox.sty 1996-03-01 01:00 2.8K slidenotes.dtx 1998-12-15 01:00 47K slidenotes.pdf 2005-08-28 18:58 159K