Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Set version tag for new release. | David Aspinall | 2009-04-16 |
| | |||
* | recovered proof-shell-process-urgent-message, by re-introducing ↵ | Makarius Wenzel | 2009-03-31 |
| | | | | commented-out parenthesis and refreshing formerly unreachable cases; | ||
* | Set version tag for new release. | David Aspinall | 2008-12-05 |
| | |||
* | Set version tag for new release. | David Aspinall | 2008-09-19 |
| | |||
* | Comment | David Aspinall | 2008-08-06 |
| | |||
* | Fix type in calls to toggle functions | David Aspinall | 2008-08-03 |
| | |||
* | Disable subterm markup removal | David Aspinall | 2008-08-03 |
| | |||
* | pg-response-display: disable subterm markup removal | David Aspinall | 2008-08-03 |
| | |||
* | Add links to splash menu | David Aspinall | 2008-08-03 |
| | |||
* | Make proof-locked-face much lighter | David Aspinall | 2008-08-03 |
| | |||
* | Change for locked face colour | David Aspinall | 2008-08-03 |
| | |||
* | Fix for deferred loading of maths menu. | David Aspinall | 2008-07-24 |
| | |||
* | Fix for deferred loading of maths menu and unicode tokens. | David Aspinall | 2008-07-24 |
| | |||
* | Add back lost provide | David Aspinall | 2008-07-24 |
| | |||
* | Merge changes from Version4Branch. | David Aspinall | 2008-07-24 |
| | |||
* | Set version tag for new release. | David Aspinall | 2008-07-24 |
| | |||
* | Load proof-autoloads earlier | David Aspinall | 2008-07-24 |
| | |||
* | Set version tag for new release. | David Aspinall | 2008-07-23 |
| | |||
* | Set version tag for new release. | David Aspinall | 2008-07-22 |
| | |||
* | proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs, | David Aspinall | 2008-07-21 |
| | | | | with improvement due to Stefan Monnier. No change for XEmacs. | ||
* | Changed the main menu of coq. Changed a shortcut for holes. | Pierre Courtieu | 2008-07-21 |
| | |||
* | Default proof-allow-undo-in-read-only to t | David Aspinall | 2008-07-21 |
| | |||
* | Set version tag for new release. | David Aspinall | 2008-07-19 |
| | |||
* | Set version tag for new release. | David Aspinall | 2008-07-17 |
| | |||
* | Remove mention of unicode-tokens2 | David Aspinall | 2008-07-16 |
| | |||
* | Deleted file | David Aspinall | 2008-07-16 |
| | |||
* | Set version tag for new release. | David Aspinall | 2008-07-12 |
| | |||
* | Updated. | David Aspinall | 2008-07-12 |
| | |||
* | 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 | 2008-07-10 |
| | | | | | Credit due to Makarius. Tested *very briefly* with Coq. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/200 | ||
* | Reverse 8.28, buffer-substring-no-properties -> buffer-substring. | David Aspinall | 2008-07-10 |
| | | | | | | 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. | ||
* | Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may ↵ | David Aspinall | 2008-07-09 |
| | | | | cause breakage on older Emacs (tested on 22.2). | ||
* | Set version tag for new release. | David Aspinall | 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 |
| | |||
* | 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 | 2008-07-05 |
| | | | | cursor. | ||
* | TEMPORARY: add unicode-tokens2 mechanism to test across different machines | David Aspinall | 2008-07-05 |
| | |||
* | Set version tag for new release. | David Aspinall | 2008-05-26 |
| | |||
* | 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-17 |
| | |||
* | Unicode tokens: support face changing via 'font-lock-face' | David Aspinall | 2008-02-09 |
| | |||
* | Set version tag for new release. | David Aspinall | 2008-02-06 |
| |