aboutsummaryrefslogtreecommitdiff
path: root/generic/pg-vars.el
AgeCommit message (Collapse)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
- infrastructure for saving/resetting customizations not defined with defpacustom - improve Coq -> Auto Compilation menu - polish documentation and manual
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, ↵David Aspinall
and keep possibly customized variables bound. Closes Trac #387.
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 ↵David Aspinall
Martin-Dorel)
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 ↵David Aspinall
support this.
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 ↵David Aspinall
behaviour. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/179
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 15:01:09 +0000