| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2009-08-28 | isar-nonwrap-regexp: ML should work (note that there are *many* ML commands); | Makarius Wenzel | |
| added separate isar-string-wrapping; isar-positions-of: isar-string-wrapping of file name -- to make double sure; | |||
| 2009-08-28 | pg-create-in-span-context-menu: fix nesting | David Aspinall | |
| 2009-08-28 | Fix compile warnings | David Aspinall | |
| 2009-08-28 | Update autoloads | David Aspinall | |
| 2009-08-28 | Move fontsymb properties to library file. | David Aspinall | |
| 2009-08-28 | Add convenience function for profiling | David Aspinall | |
| 2009-08-28 | Add a font | David Aspinall | |
| 2009-08-28 | Extend the available types of controls. Move fontsymb-properties here. ↵ | David Aspinall | |
| Prettify the token table. | |||
| 2009-08-28 | Doc: pointer to TokensAcid | David Aspinall | |
| 2009-08-28 | Add more commentary and new control examples | David Aspinall | |
| 2009-08-28 | Updated. | David Aspinall | |
| 2009-08-28 | Doc fix | David Aspinall | |
| 2009-08-28 | Disable "Set fontsets" sub menu for new Emacsen | David Aspinall | |
| 2009-08-28 | Attempt to duplicate Dixon bug | David Aspinall | |
| 2009-08-28 | Set version tag for new release. | David Aspinall | |
| 2009-08-28 | Change font-lock-keywords to use our own hacked ↵ | David Aspinall | |
| `unicode-tokens-prepend-text-property' instead of `font-lock-prepend-text-property' which gave ill formed property values for 'face. Still not clear if that function is faulty or usage was not as intended. Anyway, this repairs outstanding merge properties problem so that <bold><italic>foo</italic></bold> works as expected. Also: fix key binding for unicode-tokens-show-controls so is usable. | |||
| 2009-08-28 | Temporary note of property merging problems | David Aspinall | |
| 2009-08-28 | Property merging now works with tweaks in unicode-tokens | David Aspinall | |
| 2009-08-28 | Clarify mode functions. Fix cross references to Elisp ref (not XEmacs Lispref) | David Aspinall | |
| 2009-08-28 | Clean up and rearrange variable declaration files | David Aspinall | |
| 2009-08-28 | Comments | David Aspinall | |
| 2009-08-28 | Enhanced font setting mechanism: allow a separate font for symbols, | David Aspinall | |
| and add user-level functions to set the configured fonts. unicode-tokens-delete-token-near-point: add this user-level function | |||
| 2009-08-25 | Add recommendation for DejaVu fonts. Update magic. | David Aspinall | |
| 2009-08-25 | Add menu entry for setting proof assistant command | David Aspinall | |
| 2009-08-22 | less ambitious array operations -- for improved compatibility with older ↵ | Makarius Wenzel | |
| versions of bash; | |||
| 2009-08-20 | Doc tweaks via checkdoc. | David Aspinall | |
| 2009-08-20 | Doc tweaks via checkdoc. | David Aspinall | |
| 2009-08-20 | proof-one-command-per-line: change default, use in proof-insert-pbp-command. | David Aspinall | |
| 2009-08-20 | Remove spurious junk. | David Aspinall | |
| 2009-08-20 | Documentation improvements. | David Aspinall | |
| Experiment with `process-adaptive-read-buffering' Do not run `proof-shell-insert-hook' if input string is empty or single CR. | |||
| 2009-08-20 | proof-resp-font-lock-keywords -> correct name proof-response-font-lock-keywords | David Aspinall | |
| 2009-08-20 | Remove obsolete file mention | David Aspinall | |
| 2009-08-20 | Don't make link to index.html | David Aspinall | |
| 2009-08-19 | proof-shell-insert: add scriptspan argument, to pass source positions to ↵ | David Aspinall | |
| proof-shell-insert-hook | |||
| 2009-08-19 | Docstrings | David Aspinall | |
| 2009-08-19 | proof-splice-separator: ignore nil entries for convenience | David Aspinall | |
| 2009-08-19 | Enhance command markup to pass position information. Extend defaults for ↵ | David Aspinall | |
| response/goals font-lock keywords. | |||
| 2009-08-19 | *** empty log message *** | David Aspinall | |
| 2009-08-19 | Bump year | David Aspinall | |
| 2009-08-18 | Hints about setting position in command | David Aspinall | |
| 2009-08-18 | Note | David Aspinall | |
| 2009-08-18 | First attempt at command wrapping (see ↵ | David Aspinall | |
| http://proofgeneral.inf.ed.ac.uk/trac/ticket/199) | |||
| 2009-08-17 | Set version tag for new release. | David Aspinall | |
| 2009-08-17 | Move proof-interrupt-process to proof-shell. Add pending interrupt ↵ | David Aspinall | |
| behaviour. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/179 | |||
| 2009-08-17 | Tidy | David Aspinall | |
| 2009-08-17 | Update some examples | David Aspinall | |
| 2009-08-17 | Tidy | David Aspinall | |
| 2009-08-17 | Fix proof-next-error key binding | David Aspinall | |
| 2009-08-17 | isar-syntactic-context: tweak (still not perfect, loses between "--" and ↵ | David Aspinall | |
| string start) | |||
| 2009-08-17 | isar-syntactic-context: fix calls to re-search-backward | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |