aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-user.el
Commit message (Expand)AuthorAge
* Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...Gravatar David Aspinall2009-05-26
* 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 interrup...Gravatar David Aspinall2008-01-29
* 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, namespa...Gravatar David Aspinall2008-01-15
* 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 se...Gravatar David Aspinall2004-06-16
* 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
* Fix typo.Gravatar David Aspinall2003-06-09
* Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...Gravatar David Aspinall2003-06-08
* Robustness in pg-identifier-under-mouse-query.Gravatar David Aspinall2003-06-08
* GNU Emacs keybinding for pg-identifier-under-mouse-queryGravatar David Aspinall2003-06-08
* Add simple but effective identifier-under-mouse-query command.Gravatar David Aspinall2003-06-08
* By default, do not move pointer on interrupt, only error; tune hints for spansGravatar David Aspinall2003-06-05
* Rotate buffers display can display next bufferGravatar David Aspinall2003-05-24
* Added hint mechanismGravatar David Aspinall2003-05-24
* Fix some compile errorsGravatar David Aspinall2003-02-24
* Add followdownGravatar David Aspinall2002-12-29
* Updated.Gravatar David Aspinall2002-08-30
* GNU Emacs: avoid using own-clipboardGravatar David Aspinall2002-08-30
* Change order of menuGravatar David Aspinall2002-08-16
* pg-goals -> pg-assocGravatar David Aspinall2002-08-16
* Fix for moving span duplicable prob. Still not really workingGravatar David Aspinall2002-08-12
* Generalise proof elements to include comments, show/hiding of comments.Gravatar David Aspinall2002-08-08
* Add span context menu support for Emacs21.Gravatar David Aspinall2002-08-08
* Fix condition for displaying dependency menuGravatar David Aspinall2002-08-08
* Refactor several variable names; clean up, doc subterm markup and output disp...Gravatar David Aspinall2002-07-16
* GPLGravatar David Aspinall2002-06-21
* Began adding generic line-width adjustGravatar David Aspinall2002-05-03
* Year changesGravatar David Aspinall2002-03-21
* Bug fix in proof-goto-command-end. Decode x-syms in pg-insert-output-as-comm...Gravatar David Aspinall2002-02-23
* Improved span moving and navigation commands.Gravatar David Aspinall2001-09-05
* Add commands to move spans up/down. Enable features only if experimental fla...Gravatar David Aspinall2001-09-04
* Generalise context menu for other spans; grey out show/hide when unavailable.Gravatar David Aspinall2001-09-03
* Added copy command, call to dependency menu if proof-depends is loaded.Gravatar David Aspinall2001-08-31
* pg-insert-last-output-as-comment strips special annotations from last output ...Gravatar David Aspinall2001-08-30
* Function name fixes, use idiom property in span for popup menu name.Gravatar David Aspinall2001-08-16
* Clean-up compileGravatar David Aspinall2001-07-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-06 22:20:06 +0000