Changes between Initial Version and Version 8 of Ticket #430


Ignore:
Timestamp:
Jan 10, 2012, 1:15:44 PM (12 years ago)
Author:
David Aspinall
Comment:

The UI will now switch to display the *coq* window when debugging. (The flag state issue is not addressed by this fix).

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #430

    • Property Status changed from new to closed
    • Property Resolution changed from to fixed
    • Property Type changed from defect to enhancement
    • Property Cc greenrd@… added

  • Ticket #430 – Description

    initial v8  
    1 This is really handy!
     1When Proof General attempts to handle compound tactics in debug mode, it freezes. If you switch to the *coq* buffer, you find that Coq has switched into an interactive mode, but there is no indication of this in the UI.