| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2008-07-24 | Note about Emacs.app | David Aspinall | |
| 2008-07-24 | Add back lost provide | David Aspinall | |
| 2008-07-24 | *** empty log message *** | 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 | Fixed http://proofgeneral.inf.ed.ac.uk/trac/ticket/233 | David Aspinall | |
| 2008-07-24 | Load proof-autoloads earlier | David Aspinall | |
| 2008-07-23 | Updated. | David Aspinall | |
| 2008-07-23 | Fix version | David Aspinall | |
| 2008-07-23 | Set version tag for new release. | David Aspinall | |
| 2008-07-22 | Add Graham Dutton | David Aspinall | |
| 2008-07-22 | Set version tag for new release. | David Aspinall | |
| 2008-07-22 | Deleted file | David Aspinall | |
| 2008-07-21 | proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs, | David Aspinall | |
| with improvement due to Stefan Monnier. No change for XEmacs. | |||
| 2008-07-21 | 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 | todo added fo coq. | Pierre Courtieu | |
| 2008-07-19 | Clarify that editing this script is expected | David Aspinall | |
| 2008-07-19 | New files. | David Aspinall | |
| 2008-07-19 | Update for new syntax | David Aspinall | |
| 2008-07-19 | Add lbrace, rbrace | David Aspinall | |
| 2008-07-19 | Set version tag for new release. | David Aspinall | |
| 2008-07-19 | Updated. | David Aspinall | |
| 2008-07-19 | Fix typo. | David Aspinall | |
| 2008-07-18 | Updated. | David Aspinall | |
| 2008-07-18 | Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviour | David Aspinall | |
| with cut-and-paste and when typing tokens directly. Trac#223. | |||
| 2008-07-18 | Mac OS: default to XSymb1.ttf; | Makarius Wenzel | |
| 2008-07-18 | added scalable X-Symbol fonts -- the Jerusalem version from 2004; | Makarius Wenzel | |
| 2008-07-17 | Set version tag for new release. | David Aspinall | |
| 2008-07-16 | Remove mention of unicode-tokens2 | David Aspinall | |
| 2008-07-16 | Remove use of :help for menu tooltips- GNU Emacs only. | David Aspinall | |
| 2008-07-16 | Deleted file | David Aspinall | |
| 2008-07-12 | backport of recent changes to lib/unicode-tokens.el: | Makarius Wenzel | |
| cover isup as well; | |||
| 2008-07-12 | Updated. | David Aspinall | |
| 2008-07-12 | Updated. | David Aspinall | |
| 2008-07-12 | Update for 3.7.1 | David Aspinall | |
| 2008-07-12 | New files. | David Aspinall | |
| 2008-07-12 | Update docstrings | David Aspinall | |
| 2008-07-12 | Fix loading of multiple prover files: set proof-assistant-table to nil so ↵ | David Aspinall | |
| proof-ready-for-assitant works | |||
| 2008-07-12 | Set version tag for new release. | David Aspinall | |
| 2008-07-12 | Updated. | David Aspinall | |
| 2008-07-12 | Correct italic attribute | David Aspinall | |
| 2008-07-11 | x-symbol-xsymb0/1-fonts: more liberal patterns makes it work with scalable ↵ | Makarius Wenzel | |
| xsymb font; | |||
| 2008-07-11 | backport of recent changes to isar-unicode-tokens.el: | Makarius Wenzel | |
| more precise regexps isar-token-match, isar-control-token-match; isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expects; isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a particular meaning in Isabelle; add back |-> shortcut; | |||
| 2008-07-10 | Add NOTE | David Aspinall | |
| 2008-07-10 | Updated. | David Aspinall | |
| 2008-07-10 | Add other sup/subs to format menu. | David Aspinall | |
| 2008-07-10 | Add format menu. Improve attempt to handle font-lock-face annotations. ↵ | David Aspinall | |
| Still faulty. | |||
| 2008-07-10 | Disable Unicode Tokens 2 | David Aspinall | |
| 2008-07-10 | Documentation. | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |