aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-vars.el
AgeCommit message (Expand)Author
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-01-19save settings not defined with defpacustom (fixes #142)Hendrik Tews
2016-09-18Update the documentation and prepare the release 4.4.Erik Martin-Dorel
2012-09-02Fix headerDavid Aspinall
2011-01-31Make proof-assistant-settings follow currently available dynamic settings, an...David Aspinall
2011-01-31CommentsDavid Aspinall
2011-01-11Add additional support for pgipfloat typeDavid Aspinall
2010-10-04Move mouse button bindings to avoid clashes (patch from Trac #365, Erik Marti...David Aspinall
2010-10-01proof-universal-keys: Add binding for pg-identifier-under-mouse-query.David Aspinall
2010-10-01proof-next-command-on-new-line: add this new internal flagDavid Aspinall
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-01-31 11:35:49 +0000