aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/pg-vars.el
Commit message (Expand)AuthorAge
* Fix most doc issues raised by (checkdoc)Gravatar Erik Martin-Dorel2018-08-23
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* save settings not defined with defpacustom (fixes #142)Gravatar Hendrik Tews2017-01-19
* Update the documentation and prepare the release 4.4.Gravatar Erik Martin-Dorel2016-09-18
* Fix headerGravatar David Aspinall2012-09-02
* Make proof-assistant-settings follow currently available dynamic settings, an...Gravatar David Aspinall2011-01-31
* CommentsGravatar David Aspinall2011-01-31
* Add additional support for pgipfloat typeGravatar David Aspinall2011-01-11
* Move mouse button bindings to avoid clashes (patch from Trac #365, Erik Marti...Gravatar David Aspinall2010-10-04
* proof-universal-keys: Add binding for pg-identifier-under-mouse-query.Gravatar David Aspinall2010-10-01
* proof-next-command-on-new-line: add this new internal flagGravatar David Aspinall2010-10-01
* Replace proof-terminal-char with proof-terminal-string.Gravatar David Aspinall2010-08-27
* 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-05-06 11:02:34 +0000