Opened 16 years ago
Last modified 12 years ago
#208 accepted enhancement
Generalise Coq's modeline subgoal counter for other provers
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | PG-Emacs-4.3 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
Pierre added a handy subgoal number display to the Coq modeline. This might as well be generic.
Change History (7)
comment:1 Changed 16 years ago by
| Status: | new → assigned |
|---|
comment:2 Changed 16 years ago by
| Milestone: | PG-Emacs-3.7.1 → PG-Emacs-3.7.2 |
|---|
comment:3 Changed 16 years ago by
| Milestone: | PG-Emacs-3.7.2 → PG-Emacs-4.0 |
|---|
comment:4 Changed 15 years ago by
| Milestone: | PG-Emacs-4.0 → PG-Emacs-4.1 |
|---|---|
| Status: | assigned → accepted |
comment:5 Changed 13 years ago by
| Milestone: | PG-Emacs-4.1 → PG-Emacs-4.2 |
|---|
comment:6 Changed 12 years ago by
| Milestone: | PG-Emacs-4.2 → PG-Emacs-4.3 |
|---|
comment:7 Changed 12 years ago by
Note: See
TracTickets for help on using
tickets.
Comment, the code to modify modeline is really ugly.