Opened 16 years ago

Closed 16 years ago

#202 closed defect (fixed)

Prover chokes on Unicode Tokens (Carbon Emacs)

Reported by: Makarius Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-3.7.1
Component: 2:pg-emacs Keywords:
Cc:

Description

After a recent change in the unicode token mode, the prover chokes on the text sent by (Carbon) Emacs. Presumably, the tokens are not replaced by their Isabelle symbol equivalents.

Change History (1)

comment:1 Changed 16 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

Fixed: left over experimental code removed.

This mode is being experimented with and may break from time to time in CVS version!

Note: See TracTickets for help on using tickets.