aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-user.el
Commit message (Collapse)AuthorAge
* WhitespaceGravatar David Aspinall2009-10-14
|
* proof-electric-terminator: check if inside a string/comment.Gravatar David Aspinall2009-10-03
|
* Clean up hints about buffer displayGravatar David Aspinall2009-09-29
|
* pg-response-buffers-hint: only give hint when in default two-buffer modeGravatar David Aspinall2009-09-28
|
* pg-identifier-near-point-query: make hover span have a high priorityGravatar David Aspinall2009-09-21
| | | | and self-delete.
* Adjustments to better obey proof-follow-mode=ignoreGravatar David Aspinall2009-09-20
|
* Fix compile warningGravatar David Aspinall2009-09-15
|
* Moved functionGravatar David Aspinall2009-09-14
|
* proof-imenu-enable: fix remove callGravatar David Aspinall2009-09-14
|
* Engage which-function mode with imenu. Move insert-electric-terminator to ↵Gravatar David Aspinall2009-09-14
| | | | proof-script
* Clean compileGravatar David Aspinall2009-09-10
|
* Missing requireGravatar David Aspinall2009-09-07
|
* Rearrange some of point movement code for following scripting.Gravatar David Aspinall2009-09-06
|
* pg-protected-undo: Use key remapping instead of hacking function valuesGravatar David Aspinall2009-09-05
|
* Add protected undoGravatar David Aspinall2009-09-05
|
* Clean whitespaceGravatar David Aspinall2009-09-05
|
* replace-in-string -> replace-regexp-in-stringGravatar David Aspinall2009-09-04
|
* Buglets in proof-process-electric-terminator, proof-maybe-follow-locked-endGravatar David Aspinall2009-09-04
|
* proof-files-to-buffers, proof-locate-executable: simplifyGravatar David Aspinall2009-09-04
| | | | | proof-file-to-buffer: use find-buffer-visiting instead proof-looking-at-syntactic-context: moved here from proof-syntax for compilation
* Refactoring point movement commands (in progress). Remove proof-no-command.Gravatar David Aspinall2009-09-04
|
* Cleanup of interactive point moving functions (in progress)Gravatar David Aspinall2009-08-29
|
* pg-create-in-span-context-menu: fix nestingGravatar David Aspinall2009-08-28
|
* Fix compile warningsGravatar David Aspinall2009-08-28
|
* Move proof-interrupt-process to proof-shell. Add pending interrupt ↵Gravatar David Aspinall2009-08-17
| | | | behaviour. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/179
* Tweak pg-identifier-near-point-query to add decoration to buffer.Gravatar David Aspinall2009-08-14
|
* Fix parenoGravatar David Aspinall2009-08-07
|
* Extend implementation of identifier-under-mouse (now pg-identifier-query)Gravatar David Aspinall2009-08-07
|
* Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor ↵Gravatar David Aspinall2009-05-26
| | | | cleanups
* Add proof-electric-terminator-noterminator behaviour for IsarGravatar David Aspinall2009-05-26
|
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
|
* Comments.Gravatar David Aspinall2008-02-17
|
* Update yearGravatar David Aspinall2008-01-30
|
* proof-interrupt-process: avoid effect of comint-skip-input (printing ↵Gravatar David Aspinall2008-01-29
| | | | interrupt key).
* Add input history ring. Cleanup comments.Gravatar David Aspinall2008-01-17
|
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
|
* Many rearrangements for compatibility, efficient/correct compilation, ↵Gravatar David Aspinall2008-01-15
| | | | | | | namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
* Add undo command to context menuGravatar David Aspinall2007-12-12
|
* Emacs compatibility/API updates: string-to-int -> string-to-numberGravatar David Aspinall2007-12-10
|
* Docstring: clarify arg type in proof-define-assitant-command-withargGravatar David Aspinall2004-11-30
|
* Updated.Gravatar David Aspinall2004-11-30
|
* Improve handling of intermittent fontification for trace buffers.Gravatar David Aspinall2004-06-24
|
* Add hint for proof-next-error. Add proof-shell-quiet-errors as user-level ↵Gravatar David Aspinall2004-06-16
| | | | setting.
* Make response buffer hint shorterGravatar David Aspinall2004-04-27
|
* Add functions for Imenu and SpeedbarGravatar David Aspinall2004-04-14
|
* Add hint to C-c C-l; cleanup hints, add menu for C-c C-lGravatar David Aspinall2004-04-13
|
* Comments. Beginning of drag region code.Gravatar David Aspinall2004-04-02
|
* holes implementation, it uses span.el. mouse keybindings workGravatar Pierre Courtieu2004-02-18
| | | | correctly for xemacs (any version) and emacs > 21.
* Fix typo.Gravatar David Aspinall2003-06-09
|
* Extend proof-shell-identifier-under-mouse to allow regions, and also depend ↵Gravatar David Aspinall2003-06-08
| | | | on buffer context.
* Robustness in pg-identifier-under-mouse-query.Gravatar David Aspinall2003-06-08
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-01 13:19:51 +0000