Changes between Initial Version and Version 3 of Ticket #296


Ignore:
Timestamp:
Aug 24, 2010, 12:52:01 PM (14 years ago)
Author:
David Aspinall
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #296

    • Property Status changed from new to accepted
    • Property Milestone changed from to PG-Emacs-4.0

  • Ticket #296 – Description

    initial v3  
    11If I type the following complete garbage and press "C-c C-RET" at the end of the line, Proof General accepts it, even though I see in the *coq* buffer that Coq has said "illegal begin of vernac":
    2 
     2{{{
    33Check nat.&!&*\:,.:<*&^!)@)$.
    4 
     4}}}
    55I'm guessing that Proof General doesn't recognize the first period as a command separator and there's a miscommunication between Coq and Proof General regarding how much of the text was processed.
    66