| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2009-08-31 | Made customizable holes mode completion in abbreviations. | Pierre Courtieu | |
| 2009-08-31 | Clean up IGNOREDFILES a bit | David Aspinall | |
| 2009-08-31 | Set version tag for new release. | David Aspinall | |
| 2009-08-31 | Fix home | David Aspinall | |
| 2009-08-31 | Tokenize | David Aspinall | |
| 2009-08-31 | Add custom doc | David Aspinall | |
| 2009-08-31 | isar-symbol-shortcuts: add customization | David Aspinall | |
| 2009-08-31 | Remove over-enthusiastic single-character shortcuts | David Aspinall | |
| 2009-08-31 | Attribution | David Aspinall | |
| 2009-08-31 | Disable large symbol font for now | David Aspinall | |
| 2009-08-30 | Support dynamic customization. Add additional shortcuts handy for ↵ | David Aspinall | |
| symbolizing old files. | |||
| 2009-08-30 | Improve and extend font configuration. Add ↵ | David Aspinall | |
| unicode-tokens-replace-shortcut-match. | |||
| 2009-08-29 | Cleanup of interactive point moving functions (in progress) | David Aspinall | |
| 2009-08-29 | isar-positions-of: skip whitespace before command start | David Aspinall | |
| 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 | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |