Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Fix most doc issues raised by (checkdoc) | Erik Martin-Dorel | 2018-08-23 |
| | |||
* | Update copyright messages and improve the header of elisp files. | Erik Martin-Dorel | 2018-02-21 |
| | |||
* | save settings not defined with defpacustom (fixes #142) | Hendrik Tews | 2017-01-19 |
| | | | | | | | - infrastructure for saving/resetting customizations not defined with defpacustom - improve Coq -> Auto Compilation menu - polish documentation and manual | ||
* | Update the documentation and prepare the release 4.4. | Erik Martin-Dorel | 2016-09-18 |
| | |||
* | Fix header | David Aspinall | 2012-09-02 |
| | |||
* | Make proof-assistant-settings follow currently available dynamic settings, ↵ | David Aspinall | 2011-01-31 |
| | | | | and keep possibly customized variables bound. Closes Trac #387. | ||
* | Comments | David Aspinall | 2011-01-31 |
| | |||
* | Add additional support for pgipfloat type | David Aspinall | 2011-01-11 |
| | |||
* | Move mouse button bindings to avoid clashes (patch from Trac #365, Erik ↵ | David Aspinall | 2010-10-04 |
| | | | | Martin-Dorel) | ||
* | proof-universal-keys: Add binding for pg-identifier-under-mouse-query. | David Aspinall | 2010-10-01 |
| | |||
* | proof-next-command-on-new-line: add this new internal flag | David Aspinall | 2010-10-01 |
| | |||
* | Replace proof-terminal-char with proof-terminal-string. | David Aspinall | 2010-08-27 |
| | |||
* | Move comments into docstring | David Aspinall | 2010-08-24 |
| | |||
* | Remove clashing key binding for C-c C-s | David Aspinall | 2010-08-18 |
| | |||
* | Autosend: don't autosend after undoing; add proof-shell-last-queuemode to ↵ | David Aspinall | 2010-08-17 |
| | | | | support this. | ||
* | Remove duplicate declaration | David Aspinall | 2010-08-17 |
| | |||
* | Fix compile errors, update tags | David Aspinall | 2010-08-16 |
| | |||
* | Checkdoc cleanups | David Aspinall | 2010-08-08 |
| | |||
* | Doc | David Aspinall | 2009-09-14 |
| | |||
* | Clean compile | David Aspinall | 2009-09-10 |
| | |||
* | Make sure proof-shell-last-output is non-nil | David Aspinall | 2009-09-06 |
| | |||
* | Clean whitespace | David Aspinall | 2009-09-05 |
| | |||
* | Clean up and rearrange variable declaration files | David Aspinall | 2009-08-28 |
| | |||
* | Move proof-interrupt-process to proof-shell. Add pending interrupt ↵ | David Aspinall | 2009-08-17 |
| | | | | behaviour. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/179 | ||
* | Use descriptions of help items to set menu tooltips (resolve trac #218) | David Aspinall | 2009-07-30 |
| | |||
* | Fix RCS tags | David Aspinall | 2008-01-30 |
| | |||
* | Reduce compiler warnings. Minor fixes. | David Aspinall | 2008-01-16 |
| | |||
* | Compilation tweaks | David Aspinall | 2008-01-16 |
| | |||
* | New files. | David Aspinall | 2008-01-15 |