Re: Mizar Proof Advisor

Boris Schminke <[email protected]>
Newsgroups gmane.comp.mathematics.mizar
Message-ID <CAC-WUu2zw4b5cTp=L95Q-OKA4etbSW-E2uxJVmkHQSTtZvm6uw@mail.gmail.com> 
Deal All,
I understood than there is little need for MPA now when remoted ATP
solving is available. But I've faced another problem: while trying to
generate proof sceleton Emacs hungs up (running under Windows 7 or
Ubuntu 11). Please help!:)

On 22 August 2011 16:26, Boris Schminke <[email protected]> wrote:
> Dear All,
> Is MPA server down only for a while or I've missed something important?
>
> Yours,
> Boris.
>

-- 
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.