[mizar] request: provide emacs gab's as a single file

[Jesse Alama <alama@stanford.edu>]

If one wants to obtain the GAB's of mizar articles, one needs to
download them individually from

http://merak.pb.bialystok.pl/mizarmode/gab

Currently, I obtain those files by using wget.  That takes a good deal
of time, since the files aren't compressed in any way.  It would be
nice if the GAB's could be made available as a compressed (gzip or
bzip) file.

Thanks,

Jesse

PS If there is already a way to do this, please let me know.  The
assumption behind my request is that the only way to get the GAB's is
by downloading them from the MML Query homepage.  If that's correct,
please do tell me.

-- 
Jesse Alama (alama@stanford.edu)
*56: Disagreement of types (http://www.mizar.org)