| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2008-01-31 | Updated. | David Aspinall | |
| 2008-01-31 | Updated. | David Aspinall | |
| 2008-01-31 | Updated. | David Aspinall | |
| 2008-01-31 | Updated. | David Aspinall | |
| 2008-01-31 | Update maintainers to add back the key person, 8-). | David Aspinall | |
| 2008-01-31 | Update versions here. | David Aspinall | |
| 2008-01-31 | Set version tag for new release. | David Aspinall | |
| 2008-01-31 | Updated. | David Aspinall | |
| 2008-01-31 | Add another window system: w32 for win 32. | David Aspinall | |
| Really we should use default here to get rid of this list. | |||
| 2008-01-31 | comment: proof-compat not needed for pg-defface-window-systems (but leave in ↵ | David Aspinall | |
| now) | |||
| 2008-01-31 | Revert last change, shell-command-to-string gives error when called | David Aspinall | |
| with c:\Program Files\blah due to space in filename. Code here needs reworking more heavily for out-of-the-box Windows working. | |||
| 2008-01-31 | Use coq-prog-name when looking for library, not hard coded coqtop | David Aspinall | |
| 2008-01-31 | Use proof-locate-executable so works out-of-the-box on Windows. | David Aspinall | |
| 2008-01-31 | Updated. | David Aspinall | |
| 2008-01-31 | Fix date | David Aspinall | |
| 2008-01-31 | Update note re Carbon Emacs | David Aspinall | |
| 2008-01-31 | Remove CVS merge junk! | David Aspinall | |
| 2008-01-31 | Updated. | David Aspinall | |
| 2008-01-31 | Make mouse 1 binding compatible also with XEmacs. | David Aspinall | |
| 2008-01-31 | Sendback commands from response buffer sent via assert-until-point, with ↵ | David Aspinall | |
| ordinary span construction. | |||
| 2008-01-31 | Add nomodify argument to set-buffer-file-coding-system call, to | David Aspinall | |
| prevent buffer modification when switching X-Symbol on (seen on Carbon Emacs 22.1.50.1) | |||
| 2008-01-31 | Expand info on X-Symbol Mac | David Aspinall | |
| 2008-01-31 | Credit Mitsuharu Yamamoto. | David Aspinall | |
| 2008-01-31 | More apparent decoration for active (sendback) areas | David Aspinall | |
| 2008-01-31 | Sendback commands from response buffer sent via assert-until-point, with ↵ | David Aspinall | |
| ordinary span construction. | |||
| 2008-01-31 | Remove semi-colons. Literal commands triggered in response buffer | David Aspinall | |
| are now sent individually. Should be compatible with original PBP behaviour which worked from goals buffer (and is anyway no longer used). | |||
| 2008-01-31 | Add a mouse-1 binding for active areas in goals/response output. | David Aspinall | |
| 2008-01-31 | updated CHANGES | Assia Mahboubi | |
| added an example file in coq/ | |||
| 2008-01-31 | Set version tag for new release. | David Aspinall | |
| 2008-01-31 | Updated. | David Aspinall | |
| 2008-01-31 | Comments. | David Aspinall | |
| 2008-01-31 | Updated. | David Aspinall | |
| 2008-01-31 | Remove duplicate default target. Add doc for EMACS setting egs. | David Aspinall | |
| 2008-01-31 | Move version check in case proof-site.el is loaded, not proof-site.elc | David Aspinall | |
| 2008-01-31 | Say "Partial" for this X-Symbol support | David Aspinall | |
| 2008-01-31 | Mention X-Symbol on native Mac | David Aspinall | |
| 2008-01-31 | Fix compile problem in x-symbol-mac-setup2 | David Aspinall | |
| 2008-01-31 | Note about instructions on X-Symb for Mac | David Aspinall | |
| 2008-01-31 | Instructions on X-Symb for Mac | David Aspinall | |
| 2008-01-31 | Note about isaxsymb1.ttf | David Aspinall | |
| 2008-01-31 | Disable X-Symbol on emacs >= 23. Internal interfaces have changed | David Aspinall | |
| there for x-complement-fontset-spec. It may be possible to fix without much work, but isn't immediately obvious. | |||
| 2008-01-31 | Added Assia's contribution to ssreflect mode for coq in CHANGES. | Pierre Courtieu | |
| 2008-01-30 | Fix RCS tags | David Aspinall | |
| 2008-01-30 | New major version for pending release. | David Aspinall | |
| 2008-01-30 | Remove more zip | David Aspinall | |
| 2008-01-30 | Move to .tgz | David Aspinall | |
| 2008-01-30 | Remove zip from distribution, only use tgz | David Aspinall | |
| 2008-01-30 | Set version tag for new release. | David Aspinall | |
| 2008-01-30 | Comment cleanups. buffer-substring -> buffer-substring-no-properties. | David Aspinall | |
| Make proof-shell-handle-output robust against START-REGEXP match fail (can happen if shell buffer is garbled/user-edited). Make proof-shell-insert robust against null STRING (should not happen; development artefact while getting rid of proof-no-command). Update date. | |||
| 2008-01-30 | Update year | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |