Opened 16 years ago
Closed 13 years ago
#217 closed defect (wontfix)
Chosen logic: changes should invoke isabelle-load-isar-keywords
| Reported by: | David Aspinall | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | minor | Milestone: | PG-Emacs-4.1 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
Chosen logic can now be changed using file local variables as well as menu. To be precise, either way should reload the appropriate keywords file and refresh.
Change History (3)
comment:1 Changed 16 years ago by
| Milestone: | PG-Emacs-3.7.2 → PG-Emacs-4.0 |
|---|
comment:2 Changed 15 years ago by
| Milestone: | PG-Emacs-4.0 → PG-Emacs-4.1 |
|---|---|
| Status: | new → accepted |
comment:3 Changed 13 years ago by
| Resolution: | → wontfix |
|---|---|
| Status: | accepted → closed |
Note: See
TracTickets for help on using
tickets.
Minor benefit for effort required, cancelling this.