The Coq mailing list

[Gregory Malecha <gmalecha AT eecs.harvard.edu>]

Hello --

I just installed the 8.4beta2 after using the 8.4beta1 for a bit and now I'm getting this error when I try to go backwards in Proof General. Is there something that I need to do for it to work? Here's the error message that the *coq* buffer prints out.

Time Backtrack 94 0 0 . 

Toplevel input, characters 0-23:

> Time Backtrack 94 0 0 .

> ^^^^^^^^^^^^^^^^^^^^^^^

Error: Navigation commands forbidden in nested commands

Thanks for your help.

-- 
gregory malecha

http://www.people.fas.harvard.edu/~gmalecha/