Opened 14 years ago

Closed 14 years ago

#321 closed defect (needmoreinfo)

Retract buffer broken

Reported by: Norbert Schirmer Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-4.0
Component: 2:pg-emacs Keywords:
Cc:

Description

with Isabelle2009-1 retract buffer does not work anymore:

* Outer syntax error: name declaration expected, * but command theory was found

Change History (2)

comment:1 Changed 14 years ago by David Aspinall

Thanks for the report. Could you give some more information, e.g., the erroneous command that is being sent in the *isabelle* buffer and what should be sent instead?

comment:2 Changed 14 years ago by David Aspinall

Resolution: → needmoreinfo
Status: new → closed

Can't reproduce this without a concrete example.

I am seeing sync losses with interrupts which could result in this error, not sure if those can be resolved due to underlying problems. See #287 for general SM issues followup.

Note: See TracTickets for help on using tickets.