[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
Re: [mizar] online service for Mizar verification, HTMLization, and automated reasoning
- To: mizar-forum@mizar.uwb.edu.pl
- Subject: Re: [mizar] online service for Mizar verification, HTMLization, and automated reasoning
- From: Josef Urban <josef.urban@gmail.com>
- Date: Sat, 4 Sep 2010 09:46:11 +0200
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type; b=IzvCO5b3pDHwmE1BqUPz2YZen0S6VpsaF2eHxbiT4ZlBLaKcET8Sv+a3tdq4rFGUTV SWjbGqPKQPkKhVFShyWbtfZt07JYl/eT6R2W8S2Mgq4KU+vlH/zdxtzXtnGFbFPOs20b +BJRPI1PV315KUKvCNPlmMgVGDy8oVthb99aU=
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 <schminkeba@gmail.com> 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.
>