Opened 12 years ago
Closed 7 years ago
#434 closed defect (fixed)
phox seems completely broken
| Reported by: | coquser | Owned by: | David Aspinall |
|---|---|---|---|
| Priority: | critical | Milestone: | PG-Emacs-4.3 |
| Component: | 2:pg-emacs | Keywords: | |
| Cc: |
Description
I installed PhoX 0.88.100524 and tried to step through phox/square-root-2.phx, but nothing works. Looks like the prompt is not recognized...
Hendrik
Change History (3)
comment:1 Changed 12 years ago by
| Milestone: | PG-Emacs-4.2 → PG-Emacs-4.3 |
|---|
comment:2 Changed 11 years ago by
Note: See
TracTickets for help on using
tickets.
I suggest to remove Phox from the main instances in proof-site.el, because nobody seems to care about it.
Hendrik