>>>>> "GP" == Gerald Pfeifer <pfeifer@dbai.tuwien.ac.at> writes: GP> On 16 Mar 1999, Dave Love wrote: >> I think it used to be mentioned in the LITERATURE file (now removed). GP> Actually LITERATURE has only moved, namely to readings.html on our GP> website. Well, it has gone from the distribution. I still think it's a retrograde step not to distribute documentation.