| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2008-01-16 | Cleanup compile | David Aspinall | |
| 2008-01-16 | New files. | David Aspinall | |
| 2008-01-16 | Updated. | David Aspinall | |
| 2008-01-16 | Updated. | David Aspinall | |
| 2008-01-16 | Fix compilation: need proof-utils | David Aspinall | |
| 2008-01-16 | Comments. | David Aspinall | |
| 2008-01-16 | Revert 8.18: font-lock-append-text-property merges faces better. | David Aspinall | |
| 2008-01-16 | Updated. | David Aspinall | |
| 2008-01-16 | Updated. | David Aspinall | |
| 2008-01-16 | Updated. | David Aspinall | |
| 2008-01-16 | Updated. | David Aspinall | |
| 2008-01-15 | Updated. | David Aspinall | |
| 2008-01-15 | Tweak fix: it's *probably* not necessary in non-mule mode (needs testing on | David Aspinall | |
| non-mule Emacs). | |||
| 2008-01-15 | proof-x-symbol-decode-region: add fontification to fix missing ↵ | David Aspinall | |
| subscript/subscripts. | |||
| 2008-01-15 | Comments. | David Aspinall | |
| 2008-01-15 | Simplify font lock settings, removing proof-font-lock-case-fold-search | David Aspinall | |
| 2008-01-15 | Comments. | David Aspinall | |
| 2008-01-15 | Updated. | David Aspinall | |
| 2008-01-15 | Default to using emacs now | David Aspinall | |
| 2008-01-15 | pg-response-display: use add-text-properties instead of ↵ | David Aspinall | |
| font-lock-append-text-property [no behaviour change] | |||
| 2008-01-15 | Before calling pg-response-display-with-face, strip eager annotation but not ↵ | David Aspinall | |
| specials. | |||
| 2008-01-15 | Documentation. | David Aspinall | |
| 2008-01-15 | Updated. | David Aspinall | |
| 2008-01-15 | Fix cleaning minibuffer echo of urgent messages when proof-shell-unicode is ↵ | David Aspinall | |
| set. Cleanup comments. | |||
| 2008-01-15 | Updated. | David Aspinall | |
| 2008-01-15 | Remove coq-utf-safe | David Aspinall | |
| 2008-01-15 | Updated. | David Aspinall | |
| 2008-01-15 | Updated. | David Aspinall | |
| 2008-01-15 | Deleted file | David Aspinall | |
| 2008-01-15 | Set version tag for new release. | David Aspinall | |
| 2008-01-15 | Many compatibility updates, bug fixes, rearrangements for compilation. | David Aspinall | |
| 2008-01-15 | Many rearrangements for compatibility, efficient/correct compilation, ↵ | David Aspinall | |
| namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs). | |||
| 2008-01-15 | New files. | David Aspinall | |
| 2008-01-15 | New files. | David Aspinall | |
| 2008-01-14 | Remove architecture flags. Remove proof-pre-shell-start and proof-mode-for- ↵ | David Aspinall | |
| settings. | |||
| 2008-01-14 | New files. | David Aspinall | |
| 2008-01-14 | Remove font lock settings for now | David Aspinall | |
| 2008-01-13 | New files. | David Aspinall | |
| 2008-01-05 | Update | David Aspinall | |
| 2008-01-05 | Deleted file | David Aspinall | |
| 2008-01-05 | Updated. | David Aspinall | |
| 2008-01-05 | Deleted file | David Aspinall | |
| 2008-01-03 | Fixed abbrev installation. + small fixes. | Pierre Courtieu | |
| 2008-01-03 | Fixed the "proof completed" regexp. | Pierre Courtieu | |
| 2008-01-03 | Fixed something wrong. Probably a file missing (proof-system.el ?). | Pierre Courtieu | |
| 2007-12-14 | Deleted file | David Aspinall | |
| 2007-12-14 | Prevent magic during dist | David Aspinall | |
| 2007-12-14 | Ignore errors in bytecomp | David Aspinall | |
| 2007-12-14 | Let broken compilation proceed for now | David Aspinall | |
| 2007-12-14 | Require for defface macro | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |