Opened 16 years ago

Closed 16 years ago

Last modified 16 years ago

#203 closed defect (duplicate)

Carbon Emacs: no colouring of variables in Isabelle output

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

Description

E.g. printing term "x" merely shows a black "x", not a blue one as expected.

Change History (2)

comment:1 Changed 16 years ago by David Aspinall

Resolution: → duplicate
Status: new → closed

Duplicate (I think) of #206. Please reopen if not.

comment:2 Changed 16 years ago by David Aspinall

Actually: not a duplicate of #206, but caused by isar-syntax.el not using proof-defface macro.

Note: See TracTickets for help on using tickets.