Opened 9 years ago

Closed 9 years ago

#505 closed enhancement (fixed)

Fix indentation of lazymatch in Coq

Reported by: coquser Owned by: cpitcla
Priority: minor Milestone: PG-Emacs-4.3
Component: 2:pg-emacs Keywords:
Cc:

Description

Patch here: ​http://pastebin.com/u68uY13X

Change History (3)

comment:1 Changed 9 years ago by coquser

Owner: changed from David Aspinall to cpitcla
Status: new → assigned

comment:2 Changed 9 years ago by courtieu

This is fixed (and for multimatch too. Thanks for reporting.

comment:3 Changed 9 years ago by courtieu

Resolution: → fixed
Status: assigned → closed
Note: See TracTickets for help on using tickets.