> wiring M-x compile to "make vio2vo J=X" and then wiring that to a
> shortcut is going to be simpler.  (I didn't even know about M-x compile

FWIW, I happily use

    (global-set-key "\C-c\C-c" 'compile)


        Stefan
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to