Opened 16 years ago
Closed 15 years ago
#170 closed enhancement (fixed)
Improve outline syntax for Isar
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | PG-Emacs-4.0 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
Outline syntax only contains theory headings at the moment. Perhaps the indent-open category should be added?
Change History (3)
comment:1 Changed 16 years ago by
| Milestone: | PG-Emacs-3.7.1 → PG-Emacs-3.7.2 |
|---|
comment:2 Changed 16 years ago by
| Milestone: | PG-Emacs-3.7.2 → PG-Emacs-4.0 |
|---|
comment:3 Changed 15 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
Level support now added for GNU Emacs, using `outline-heading-list'. Precise behaviour may need fine-tuning by an Isar language expert.