Re: [mizar] viewing mizar-forum offline

[Adam Naumowicz <adamn@math.uwb.edu.pl>]

On Mon, 15 Jan 2007, Jesse Alama wrote:

> 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.

Our archive is daily indexed with Wilma and Glimpse - the format of the 
archive is only slightly different from the one used by Hypermail in the 
QED archive you mentioned. To download this month's postings, one may use:

wget  -r -nH -l1 -np http://mizar.uwb.edu.pl/forum/archive/0701

As the archiving started in July 1997, you can always get all the messages 
since that time with a BASH command like this:

y=1997; m=1; while [ $y -le `date +%Y` ]; do while [ $m -le 12 ]; do 
m=0$m; wget -r -nH -l1 -np http://mizar.uwb.edu.pl/forum/archive/${y:2}${m: -2}; m=`expr $m + 1`; 
done; m=1; y=`expr $y + 1`; done


Best,
Adam Naumowicz

======================================================================
Department of Applied Logic            fax. +48 (85) 745-7662
Institute of Computer Science          tel. +48 (85) 745-7559 (office)
University of Bialystok                e-mail: adamn@mizar.org
Sosnowa 64, 15-887 Bialystok, Poland   http://math.uwb.edu.pl/~adamn/
======================================================================