Opened 13 years ago
Last modified 12 years ago
#430 closed enhancement
Make "Set Ltac Debug" work — at Initial Version
| Reported by: | coquser | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | major | Milestone: | PG-Emacs-4.2 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: | ezyang@…, greenrd@… |
Description
This is really handy!
Note: See
TracTickets for help on using
tickets.
