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.
Note: See
TracTickets for help on using
tickets.
Fixed: left over experimental code removed.
This mode is being experimented with and may break from time to time in CVS version!