Re: online service for Mizar verification, HTMLization, and automated reasoning

Dear Boris,

the easiest way is to download the newest mizar.el from
http://github.com/JUrban/mizarmode/raw/master/mizar.el , and use the
(newly added) "Select HTML browser" menu. I also updated the TWiki URL
in mizar.el (it has changed recently).

Best regards,
Josef Urban


On Fri, Sep 3, 2010 at 8:25 PM, Boris Schminke <[email protected]> wrote:
> Dear Josef,
> When I try to select something like 'Browse Mizar Twiki' option from
> Mizar menu I see an 'Searching for program: no such file or directory,
> mozilla' error message. How can I change the name of the browser from
> 'mozilla' to 'firefox'?
> Yours,
> Boris.
>