aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-user.el
AgeCommit message (Expand)Author
2002-05-03Began adding generic line-width adjustDavid Aspinall
2002-03-21Year changesDavid Aspinall
2002-02-23Bug fix in proof-goto-command-end. Decode x-syms in pg-insert-output-as-comm...David Aspinall
2001-09-05Improved span moving and navigation commands.David Aspinall
2001-09-04Add commands to move spans up/down. Enable features only if experimental fla...David Aspinall
2001-09-03Generalise context menu for other spans; grey out show/hide when unavailable.David Aspinall
2001-08-31Added copy command, call to dependency menu if proof-depends is loaded.David Aspinall
2001-08-30pg-insert-last-output-as-comment strips special annotations from last output ...David Aspinall
2001-08-16Function name fixes, use idiom property in span for popup menu name.David Aspinall
2001-07-09Clean-up compileDavid Aspinall
2001-05-08Copyright date updatedDavid Aspinall
2000-12-20goalsave -> proofDavid Aspinall
2000-12-14Factor out some material from proof-script.elDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 15:00:56 +0000