| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Add new option `proof-sticky-errors'. |  David Aspinall | 2009-11-28 |
| * | proof-strict-read-only: Experimental change to default | David Aspinall | 2009-09-14 |
| * | Make quiet by default. Improve docs. | David Aspinall | 2009-09-11 |
| * | Default to disabling minibuffer messages | David Aspinall | 2009-09-10 |
| * | Add `proof-minibuffer-messages' | David Aspinall | 2009-09-10 |
| * | proof-shell-quiet-errors: move to user opts custom group | David Aspinall | 2009-09-09 |
| * | proof-allow-undo-in-read-only: change default to nil for new implementation | David Aspinall | 2009-09-05 |
| * | Default `proof-full-annotation' to off to cause least surprise to upgraders | David Aspinall | 2009-09-05 |
| * | Clean whitespace | David Aspinall | 2009-09-05 |
| * | Update docs | David Aspinall | 2009-08-31 |
| * | Clean up and rearrange variable declaration files | David Aspinall | 2009-08-28 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |