Paul A. Rubin wrote:
If, as I suspect, Bob wants the space just to keep \noindent from
running into the text, a somewhat simpler solution is
"command-sequence ert-insert; self-insert \noindent{}; char-forward;"
Yup.
rh
/Paul
--
==================================================================
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==================================================================
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
