Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update authors list (should have been in PG 4.0) | David Aspinall | 2010-10-10 |
| | |||
* | Update to 4.1pre | David Aspinall | 2010-10-10 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-10-10 |
| | |||
* | Unify version number for new release | David Aspinall | 2010-10-10 |
| | |||
* | clean: clean profile and test output | David Aspinall | 2010-10-10 |
| | |||
* | Add a master debug flag, and disable debug output ordinarily. | David Aspinall | 2010-10-10 |
| | |||
* | Fix debug message format | David Aspinall | 2010-10-10 |
| | |||
* | Updated | David Aspinall | 2010-10-10 |
| | |||
* | Update magic | David Aspinall | 2010-10-10 |
| | |||
* | Update documenation of mouse bindings. | David Aspinall | 2010-10-10 |
| | | | | | Clean up documentation of holes a bit. Remove some dead comments. | ||
* | Reenable LEGO since it's included in docs (needed for make magic) | David Aspinall | 2010-10-10 |
| | |||
* | Disable lego and hol-light by default | David Aspinall | 2010-10-10 |
| | |||
* | Updated | David Aspinall | 2010-10-10 |
| | |||
* | Clarify Emacs 22 version | David Aspinall | 2010-10-10 |
| | |||
* | Support Emacs 23.1+ only. | David Aspinall | 2010-10-10 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-10-10 |
| | |||
* | pg-span-name: improve docstring. | David Aspinall | 2010-10-10 |
| | | | | | proof-complete-buffer-atomic: simplify. Add debug message for parser cache. | ||
* | pg-span-context-menu: add doc | David Aspinall | 2010-10-10 |
| | |||
* | Activate debug message printing into log file | David Aspinall | 2010-10-10 |
| | |||
* | Add some more tokens for making pretty pictures | David Aspinall | 2010-10-10 |
| | |||
* | isar-user-tokens: add doc so user can see it when using customize | David Aspinall | 2010-10-10 |
| | |||
* | coq-find-and-forget: Allow undoing prover processed regions | David Aspinall | 2010-10-10 |
| | | | | | | (i.e. files locked by Require). Some progress towards #363, and at least stops an ugly type error when a Require'd file is retracted. | ||
* | coq-generic-expression: fix this to match symbols, not merely words. | David Aspinall | 2010-10-10 |
| | | | | Otherwise we only see first word of symbols using underscores! | ||
* | Fix to last patch. | David Aspinall | 2010-10-10 |
| | |||
* | proof-assert-electric-terminator: prevent adding terminator if point is ↵ | David Aspinall | 2010-10-10 |
| | | | | | | after it as well as before, as in PG 3.7. Fixes #371. | ||
* | Adjust a comment on proof-shell-mode | David Aspinall | 2010-10-10 |
| | |||
* | Update magic | David Aspinall | 2010-10-08 |
| | |||
* | Improve autosend doc | David Aspinall | 2010-10-08 |
| | |||
* | Remove developers note from docstring of togglers | David Aspinall | 2010-10-08 |
| | |||
* | Add extra requires for compile to work on tty emacs (e.g. MacOS terminal emacs) | David Aspinall | 2010-10-06 |
| | |||
* | No compile warning if image-size not available | David Aspinall | 2010-10-06 |
| | |||
* | Clean up obsolete comments | David Aspinall | 2010-10-04 |
| | |||
* | Fixes in strings/comments from Erik Martin-Dorel | David Aspinall | 2010-10-04 |
| | |||
* | Comments | David Aspinall | 2010-10-04 |
| | |||
* | Fully remove section for Coq-specific variables (coq-version-is-* | David Aspinall | 2010-10-04 |
| | |||
* | coq-insert-solve-tactic: added (credit:Erik Martin-Dorel, patch from trac ↵ | David Aspinall | 2010-10-04 |
| | | | | #357). Docstring cleanups. | ||
* | Set version tag for new release. | David Aspinall | 2010-10-04 |
| | |||
* | Move mouse button bindings to avoid clashes (patch from Trac #365, Erik ↵ | David Aspinall | 2010-10-04 |
| | | | | Martin-Dorel) | ||
* | Fix some mouse bindings | David Aspinall | 2010-10-04 |
| | |||
* | Set version tag for new release. | David Aspinall | 2010-10-01 |
| | |||
* | Document query identifier | David Aspinall | 2010-10-01 |
| | |||
* | Failed attempt to fix font lock customizations for elisp | David Aspinall | 2010-10-01 |
| | |||
* | proof-universal-keys: Add binding for pg-identifier-under-mouse-query. | David Aspinall | 2010-10-01 |
| | |||
* | Add doc | David Aspinall | 2010-10-01 |
| | |||
* | proof-script-new-command-advance: add back some indentation attempt | David Aspinall | 2010-10-01 |
| | | | | | auto sending: improve messages, bind autosend-running flag lexically in case of errors query identifier: use history variable, remove key bindings | ||
* | Move utility span-make-modifying-removing-span to span.el | David Aspinall | 2010-10-01 |
| | |||
* | Rename span-add-self-removing-span | David Aspinall | 2010-10-01 |
| | |||
* | span-make-modifying-removing-span: add utility | David Aspinall | 2010-10-01 |
| | | | | span-make-self-removing-span: rename from span-add-self-removing-span | ||
* | Add explicit 'invisible flag on the action list for invisible commands. | David Aspinall | 2010-10-01 |
| | | | | | This means that certain display actions will always be avoided for non-scripting commands (i.e., hints, anything in `proof-shell-error-or-interrupt-hook'). | ||
* | coq-highlight-error: use span-add-self-removing-span (highlight and removal ↵ | David Aspinall | 2010-10-01 |
| | | | | in background) |