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