| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2008-07-10 | Disable Unicode Tokens 2 | David Aspinall | |
| 2008-07-10 | Documentation. | David Aspinall | |
| 2008-07-10 | Set version tag for new release. | David Aspinall | |
| 2008-07-10 | Minimal patch for Sledgehammer problem with Isabelle. | David Aspinall | |
| Credit due to Makarius. Tested *very briefly* with Coq. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/200 | |||
| 2008-07-10 | Reverse 8.28, buffer-substring-no-properties -> buffer-substring. | David Aspinall | |
| This fixes Unicode Tokens handling of sub/super scripts, etc. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/214 Thanks to Simon Winwood for identifying failure point. | |||
| 2008-07-09 | Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may ↵ | David Aspinall | |
| cause breakage on older Emacs (tested on 22.2). | |||
| 2008-07-08 | Set version tag for new release. | David Aspinall | |
| 2008-07-07 | Set version tag for new release. | David Aspinall | |
| 2008-07-06 | Set version tag for new release. | David Aspinall | |
| 2008-07-05 | Set version tag for new release. | David Aspinall | |
| 2008-07-05 | Clarify unimplemented settings | David Aspinall | |
| 2008-07-05 | Add use-holes setting. | David Aspinall | |
| 2008-07-05 | Revert cursor hide in goals and response to avoid user confusion; use bar ↵ | David Aspinall | |
| cursor. | |||
| 2008-07-05 | TEMPORARY: add unicode-tokens2 mechanism to test across different machines | David Aspinall | |
| 2008-05-26 | Set version tag for new release. | David Aspinall | |
| 2008-02-17 | Set version tag for new release. | David Aspinall | |
| 2008-02-17 | Symmetric change for #201 | David Aspinall | |
| 2008-02-17 | Comments. | David Aspinall | |
| 2008-02-17 | Fix clash with X-Symbol resulting in enabling then disabling symbols | David Aspinall | |
| 2008-02-17 | unicode-tokens: Experimental multiple font support | David Aspinall | |
| 2008-02-09 | Unicode tokens: support face changing via 'font-lock-face' | David Aspinall | |
| 2008-02-06 | Set version tag for new release. | David Aspinall | |
| 2008-02-06 | Updated. | David Aspinall | |
| 2008-02-06 | proof-unicode-tokens-set-global: call proof-unicode-tokens-init. | David Aspinall | |
| 2008-02-06 | proof-quick-opts-vars: add <PA>-unicode-tokens-enable | David Aspinall | |
| 2008-02-06 | Use proof-auxmodes to load auxiliary modes properly when required. | David Aspinall | |
| 2008-02-06 | New files. | David Aspinall | |
| 2008-02-06 | proof-ready-for-assistant: Only make ready for assistant once(!) | David Aspinall | |
| 2008-02-04 | Further configuration settings | David Aspinall | |
| 2008-01-31 | Set version tag for new release. | 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 | 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 | 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 | Add a mouse-1 binding for active areas in goals/response output. | David Aspinall | |
| 2008-01-31 | Set version tag for new release. | David Aspinall | |
| 2008-01-31 | Comments. | David Aspinall | |
| 2008-01-31 | Move version check in case proof-site.el is loaded, not proof-site.elc | 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-30 | Fix RCS tags | 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 | |
| 2008-01-30 | Support dynamically changing short-cut list | David Aspinall | |
| 2008-01-30 | Comments re trac #187 | David Aspinall | |
| 2008-01-30 | Documentation. | David Aspinall | |
| 2008-01-30 | Disable experimental features, finally. | David Aspinall | |
| 2008-01-30 | Deleted file | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |