aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-vars.el
AgeCommit message (Expand)Author
2010-08-27Replace proof-terminal-char with proof-terminal-string.David Aspinall
2010-08-24Move comments into docstringDavid Aspinall
2010-08-18Remove clashing key binding for C-c C-sDavid Aspinall
2010-08-17Autosend: don't autosend after undoing; add proof-shell-last-queuemode to sup...David Aspinall
2010-08-17Remove duplicate declarationDavid Aspinall
2010-08-16Fix compile errors, update tagsDavid Aspinall
2010-08-08Checkdoc cleanupsDavid Aspinall
2009-09-14DocDavid Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-06Make sure proof-shell-last-output is non-nilDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-08-28Clean up and rearrange variable declaration filesDavid Aspinall
2009-08-17Move proof-interrupt-process to proof-shell. Add pending interrupt behaviour...David Aspinall
2009-07-30Use descriptions of help items to set menu tooltips (resolve trac #218)David Aspinall
2008-01-30Fix RCS tagsDavid Aspinall
2008-01-16Reduce compiler warnings. Minor fixes.David Aspinall
2008-01-16Compilation tweaksDavid Aspinall
2008-01-15New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-26 00:59:14 +0000