Opened 15 years ago
Closed 14 years ago
#299 closed defect (needmoreinfo)
Out of sync with Isabelle
Reported by: | Norbert Schirmer | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-4.0 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
When working within Isar proofs ProofGeneral and Isabelle get out of sync from time to time (approx. 3-5 times during a working day). Old school recover with an 'Enter' in the isabelle-shell-buffer does not help. Retract buffer works but is quite annoying.
Change History (2)
comment:1 Changed 14 years ago by
comment:2 Changed 14 years ago by
Resolution: | → needmoreinfo |
---|---|
Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Can you provide a repeatable test case? Or at least, a copy of the *isabelle* buffer and corresponding script file when you have lost sync. Nothing to go on otherwise here.