Re: [mizar] Private DB

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

On Sun, 17 Sep 2006, Andrzej Trybulec wrote:

> Josef Urban wrote:
>
> > "M-! accom foo.miz RET" calls it the same way you call it from shell. If 
> > you wish, I can add this to the Mizar mode menu.
> I'll be grateful. A pack of Pilsner next time we'll meet or anything what you 
> fix, I doubt if you want any Dojlidy beer.

That's a bit too much for one line :-) 
http://kti.ms.mff.cuni.cz/cgi-bin/viewcvs.cgi/*checkout*/mizarmode/mizar.el

> And I do not want even to pretend 
> that I know what "M-! accom foo.miz RET" means.

One of EMACS' explanations is: Escape Meta Alt Control Shift :-). What I 
wrote means:
press the META key (usually ESC on PC keyboards)
press ! (thats Shift-1)
write accom foo.miz
press ENTER

Josef