[mizar] viewing mizar-forum offline

[Jesse Alama <alama@stanford.edu>]

Is there a way of downloading the entire archive of the mizar-forum
mailing list?  I'd like to download it and have a local copy of it on
my hard drive, so that I can search it offline.  This was done for the
QED mailing list (see http://www-unix.mcs.anl.gov/qed/), and it's
great to be able to search and browse those messages offline.  I'd
like to be able to do the same for Mizar.  Obviously mizar-forum and
qed are different (QED is now a legacy mailing list; there hasn't been
activity on it for a very long time, it seems), but it would be
valuable to do this for Mizar since the system is, broadly speaking,
undocumented, and a good deal of documentation is implicitly contained
in the messages on mizar-forum.

Jesse

-- 
Jesse Alama (alama@stanford.edu)
*143: No implicit qualification