Re: [mizar] Mizar on ARM

[Josef Urban <urban@ktilinux.ms.mff.cuni.cz>]

Hi Bartek,

On Tue, 27 May 2008, Bartek wrote:

> > > A screenshot of the verifier checking CARD_1 on a Nokia 
> > > N810 PDA is at http://kti.mff.cuni.cz/~urban/N810Mizar.png 
> > > .
> >
> > here is a better one: 
> > http://kti.mff.cuni.cz/~urban/N810MizarEmacs.png
> lol, so i see emacs works as well. i hope it also works on mu 
> older n800;)

it does, you can upgrade the OS in n800 to that used in n810; but for 
emacs the additional keyboard in n810 is a must - you'll need an external 
bluetooth kb for emacs with n800

Josef
(btw., I also compiled E prover, the snapshot is at 
http://kti.mff.cuni.cz/~urban/N810screenshot00.png :)