I have emacs 23.3.1 on Ubuntu 12.04 LTS, with proof general 4.2. When editing coq files in the "coq Holes" mode (which is the default when I hack coq), I cannot tab. Doing so gives the error
wrong type argument integer-or-marker-p nil proof general
in the minibuffer. How do I resolve this?