> 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
