Custom Query (5 matches)
Resolution: fixed (4 matches)
| Ticket | Summary | Owner | Type | Priority | Created | Modified |
|---|---|---|---|---|---|---|
| #174 | Unable to exit prover | defect | major | 16 years ago | 16 years ago | |
| #175 | ProofGeneral accidentally resets itself while scrolling | defect | major | 16 years ago | 16 years ago | |
| #183 | ProofGeneral crashes when displaying tracing messages | defect | major | 16 years ago | 16 years ago | |
| #189 | Undo does not work for diagnostic commands in proofs | defect | major | 16 years ago | 16 years ago | |
Resolution: invalid (1 match) |
||||||
| Ticket | Summary | Owner | Type | Priority | Created | Modified |
| #162 | Compatibility ProofGeneral-3.7pre071025, Isabelle, XEmacs 21.5.28 | defect | major | 16 years ago | 16 years ago | |
Note: See TracQuery
for help on using queries.
