Re: [mizar] Mizar on ARM

[Bartek <bartek@math.uwb.edu.pl>]

Josef Urban wrote:
> 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
Yes, I have OS2008 and external keybord, but I do not use this keyboard 
at all. But now I'm going to have an emacs though, so maybe....
> Josef
> (btw., I also compiled E prover, the snapshot is at 
> http://kti.mff.cuni.cz/~urban/N810screenshot00.png :)
:)))))) but you know, maemo mapper is the best soft on n8xx. sorry.