Josef Urban wrote:
On Sat, 24 May 2008, Josef Urban 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;) Bartek