aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-user.el
Commit message (Expand)AuthorAge
* 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
* Copyright date updatedGravatar David Aspinall2001-05-08
* goalsave -> proofGravatar David Aspinall2000-12-20
* Factor out some material from proof-script.elGravatar David Aspinall2000-12-14
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 16:01:23 +0000