Name Last modified Size DescriptionApache/2.4.41 (Ubuntu) Server at de.aminet.net Port 80
Parent Directory - gamebook.ins 2011-06-07 11:37 1.9K lppl.txt 2011-06-07 15:15 19K gamebook-example.tex 2011-06-08 08:22 4.5K gamebook.dtx 2011-11-29 15:39 10K gamebook.pdf 2011-11-29 15:39 178K gamebook-example.pdf 2011-11-29 15:39 75K README 2011-11-29 15:43 1.0K