0

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?

SorcererofDM
  • 301
  • 1
  • 7
  • Some function did not get the right argument. Hard to tell, might happen erverywhere in code. Maybe try current mirror: https://github.com/cpitclaudel/proof-general. What is the value of split-width-threshold? – Andreas Röhler Jul 30 '15 at 06:08
  • In your .emacs, add '(setq debug-on-error t)' - which will generate a stack trace when you get this error. Add the stack trace to this question (not as a comment) and we might be able to help. – Trey Jackson Nov 05 '15 at 20:10

0 Answers0