Name Last modified Size DescriptionApache/2.4.25 (Debian) Server at ftp.ist.utl.pt Port 80
Parent Directory - lppl.txt 2011-06-07 14:15 19K gamebook.pdf 2011-11-29 14:39 178K gamebook.ins 2011-06-07 10:37 1.9K gamebook.dtx 2011-11-29 14:39 10K gamebook-example.tex 2011-06-08 07:22 4.5K gamebook-example.pdf 2011-11-29 14:39 75K README 2011-11-29 14:43 1.0K