Custom Query (361 matches)
Results (49 - 51 of 361)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #152 | fixed | Faults with main regexps in XEmacs 21.5(b28) for Coq | ||
| Description |
The above version of XEmacs (standard XEmacs on Fedora 7) has problems with matching ends of commands properly. It trips up on the standard test |
|||
| #153 | fixed | is "proof state" view needed anymore? | ||
| Description |
the CurrentStateView? ("Proof State") doesn't seem to be useful -- only shows "proofstate" pgip messages, which don't seem to come back any more. remove this view so as not to confuse users? (LatestOutputView? is much better.) otherwise improve documentation (and use) of State view so that its purpose clear. |
|||
| #154 | fixed | "restart" doesn't work | ||
| Description |
if i have an active scripting document, and then i restart, i cannot send any commands. i get the following errors: Exception when looking for a command. null Document not parsed far enough, invalid target position given or missing parse data: 0 probably some fields aren't being cleared. |
|||
