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

[Grzegorz Bancerek <bancerek@math.uwb.edu.pl>]

Hi Jesse,

files gab-VERSION.tgz for emacs and html-VERSION.tgz for local
browsing are stored at
http://mmlquery.mizar.org/mmlquery/downloads/
(i.e., http://merak.pb.bialystok.pl/mmlquery/downloads/)
The link "Downloads" is given on left margin in MML Query
section (below MML-jouhou picture).

Grzegorz

Quoting 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)



--
-----------------------------------------------------------
Grzegorz Bancerek
e-mail: bancerek@mizar.org (bancerek@math.uwb.edu.pl)
http://merak.pb.bialystok.pl/~bancerek/
Dept. of Theoretical CS
Faculty of Computer Science      fax. +48 (85) 746-9057
Bialystok Technical University   tel. +48 (85) 746-9056
http://www.pb.bialystok.pl