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

Boris Schminke <[email protected]>
Newsgroups gmane.comp.mathematics.mizar
Message-ID <[email protected]> 
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.
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.