Opened 5 years ago

Closed 5 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:


Change History (3)

comment:1 Changed 5 years ago by coquser

Owner: changed from David Aspinall to cpitcla
Status: newassigned

comment:2 Changed 5 years ago by courtieu

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

comment:3 Changed 5 years ago by courtieu

Resolution: fixed
Status: assignedclosed
Note: See TracTickets for help on using tickets.