Opened 11 years ago

Closed 9 years ago

#479 closed defect (fixed)

[intros ??.] messes up following indentation

Reported by: coquser Owned by: David Aspinall
Priority: minor Milestone: PG-Emacs-4.3
Component: 2:pg-emacs Keywords: indentation
Cc: jasongross9+pg@…

Description 

Goal nat -> nat -> nat.
intros ??.
       idatc.

Should not be indented this way. (Adding a space between the question marks does not fix things.)

Change History (1)

comment:1 Changed 9 years ago by coquser

Resolution: → fixed
Status: new → closed

This is fixed in the latest CVS

Note: See TracTickets for help on using tickets.