[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: Boris Schminke <schminkeba@gmail.com>
- Date: Fri, 3 Sep 2010 22:25:26 +0400
- 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=WkAifmvvdCSbXMLdOhKBu5pGq1SfTcOdB+cTjtGQEL3MEu2HD8Jfn6zEJJDYy9S/wF XHBZ0hL8cPljFwGOlKgihBqy7crhl846iCQT4wP+d6hOF8iBFL4XwSIPk+m6dcJfN27e LWzE0Mh0cbvSYY7WyaYDcYA6lNspZWML3sh+A=
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.