| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2008-01-17 | Update dates | David Aspinall | |
| 2008-01-17 | Update documentation. Credits, dates, input ring. | David Aspinall | |
| 2008-01-17 | Update for new startup mechanism. | David Aspinall | |
| 2008-01-17 | Fix typo. | David Aspinall | |
| 2008-01-17 | Updated. | David Aspinall | |
| 2008-01-17 | Add pg-input-ring-size. | David Aspinall | |
| 2008-01-17 | Remove dummy defvars, which cause errors if proof-menu is required during ↵ | David Aspinall | |
| compile. Add keybindings for history. Move About menu item. | |||
| 2008-01-17 | Prevent font-lock complaining about not being setup. | David Aspinall | |
| 2008-01-17 | Add input history ring. Cleanup comments. | David Aspinall | |
| 2008-01-17 | Prevent loading early in interpreted code: simulate proper eval-when (compile) | David Aspinall | |
| 2008-01-17 | Split define keys to match keymap files | David Aspinall | |
| 2008-01-17 | Splash for a bit longer: people complain its too short | David Aspinall | |
| 2008-01-17 | Updated. | David Aspinall | |
| 2008-01-16 | Reduce compiler warnings. Minor fixes. | David Aspinall | |
| 2008-01-16 | Tweak version differentiation for compilation | David Aspinall | |
| 2008-01-16 | Set version tag for new release. | David Aspinall | |
| 2008-01-16 | Compilation tweaks | David Aspinall | |
| 2008-01-16 | Cleanup compilation and documentation. Possible fix/break in ↵ | David Aspinall | |
| pg-pbrpm-get-region-info (only looked at START). | |||
| 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). | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |