aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-vars.el
Commit message (Expand)AuthorAge
* Move comments into docstringGravatar David Aspinall2010-08-24
* Remove clashing key binding for C-c C-sGravatar David Aspinall2010-08-18
* Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup...Gravatar David Aspinall2010-08-17
* Remove duplicate declarationGravatar David Aspinall2010-08-17
* Fix compile errors, update tagsGravatar David Aspinall2010-08-16
* Checkdoc cleanupsGravatar David Aspinall2010-08-08
* DocGravatar David Aspinall2009-09-14
* Clean compileGravatar David Aspinall2009-09-10
* Make sure proof-shell-last-output is non-nilGravatar David Aspinall2009-09-06
* Clean whitespaceGravatar David Aspinall2009-09-05
* Clean up and rearrange variable declaration filesGravatar David Aspinall2009-08-28
* Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour...Gravatar David Aspinall2009-08-17
* Use descriptions of help items to set menu tooltips (resolve trac #218)Gravatar David Aspinall2009-07-30
* Fix RCS tagsGravatar David Aspinall2008-01-30
* Reduce compiler warnings. Minor fixes.Gravatar David Aspinall2008-01-16
* Compilation tweaksGravatar David Aspinall2008-01-16
* New files.Gravatar David Aspinall2008-01-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 14:12:57 +0000