Josef Urban <urban@ktilinux.ms.mff.cuni.cz> writes: > "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. Please do add this to the Mizar mode menu! Jesse -- Jesse Alama (alama@stanford.edu)