On Wed, 4 Apr 2007, Jesse Alama wrote:
What environment are you using? (I can't count how many hours I've been blocked by mystifying errors that are just due to something being wrong or missing in my environment. There has got to be a way to make getting the environment right not so unpleasant! Perhaps we can have a separate discussion about that.)
that thread seems to start at http://mizar.uwb.edu.pl/forum/archive/0609/msg00022.html
Josef