| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | |
| 2009-08-17 | Update doc | David Aspinall | |
| 2009-08-17 | Updated. | David Aspinall | |
| 2009-08-17 | proof-looking-at-syntactic-context: add doc. Update doc/names of proof ↵ | David Aspinall | |
| shell filter functions. | |||
| 2009-08-17 | proof-looking-at-syntactic-context: allow proof assistant | David Aspinall | |
| version to override default. | |||
| 2009-08-17 | isar-syntactic-context: modify proof-looking-at-syntactic-context to allow | David Aspinall | |
| recognition of terminating comment strings. | |||
| 2009-08-17 | Only move proof-overlay-arrow once it's got a position. | David Aspinall | |
| 2009-08-17 | New files. | David Aspinall | |
| 2009-08-17 | Renamed file | David Aspinall | |
| 2009-08-17 | Move the overlay arrow backwards in case of edits above it which | David Aspinall | |
| affect the next position to be processed. | |||
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |