Opened 11 years ago
#483 new defect
ltac: and constr: should not affect 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
This indentation (done by TAB) is wrong:
Goal True.
tac
foo
bar.
tac
ltac:(foo)
bar.
Note: See
TracTickets for help on using
tickets.
