[Lions book] > Wow. Time to start Xeroxing it again... :) Latex source to the book was posted to alt.folklore.computers circa 1994. I'm guessing that the poster (a "Leo") typed it in by hand given the comments that came with the readme. Tim.