Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Update Info dir file (so there’s no unwanted line break) | Erik Martin-Dorel | 2018-08-23 |
| | |||
* | Bump version from 4.4.1~pre to 4.5-git | Erik Martin-Dorel | 2018-08-22 |
| | | | | This commit ensures the version number is (version-to-list)-compliant. | ||
* | Set the minimal supported version of emacs to 24.3 instead of 24.4 | Erik Martin-Dorel | 2018-08-22 |
| | | | | | | | | This agrees with the minimal version of GNU Emacs currently tested by Travis CI, as well as with the version packaged in Ubuntu 14.04 LTS Reference: https://github.com/ProofGeneral/PG/issues/368#issuecomment-397561986 | ||
* | 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 | ||
* | Bump version number for next release cycle. | Erik Martin-Dorel | 2016-09-19 |
| | |||
* | Update the documentation and prepare the release 4.4. | Erik Martin-Dorel | 2016-09-18 |
| | |||
* | Comment-out the rcsid ($Id$) that dates from CVS. | Erik Martin-Dorel | 2016-09-18 |
| | |||
* | Run "make magic" to update texi comments from elisp docstrings. | Erik Martin-Dorel | 2016-07-23 |
| | |||
* | Update dates for release next month | David Aspinall | 2015-03-13 |
| | |||
* | Fix crossref broken by newline. Remove custom font | David Aspinall | 2015-01-05 |
| | |||
* | Fix image name | David Aspinall | 2013-07-17 |
| | |||
* | Update timestampes | David Aspinall | 2013-01-28 |
| | |||
* | - implement proof-script insertion | Hendrik Tews | 2013-01-21 |
| | |||
* | - implement retract from prooftree | Hendrik Tews | 2013-01-20 |
| | |||
* | - support Grab Existential Variables for Prooftree | Hendrik Tews | 2013-01-17 |
| | | | | - protocol change, but stay at version 3 | ||
* | fix parallel overlapping calls of proof-shell-filter | Hendrik Tews | 2013-01-10 |
| | |||
* | update documentation | Hendrik Tews | 2012-11-14 |
| | |||
* | - erase invalid coq-load-path entry format '("dir") | Hendrik Tews | 2012-05-29 |
| | | | | | - check if coq-load-path is well-formed - update documentation | ||
* | Typo | David Aspinall | 2012-01-19 |
| | |||
* | Add documentation for proof-shell-trace-output-regexp (Trac #432) and | David Aspinall | 2012-01-10 |
| | | | | proof-shell-interactive-prompt-regexp (ref Trac #430) | ||
* | Update variable docs. Use HOL Light instead of HOL98. | David Aspinall | 2012-01-05 |
| | |||
* | merge ProofTreeBranch into main trunk: | Hendrik Tews | 2012-01-03 |
| | | | | | | | | | | | | | | | | - add support for proof-tree displays (currently Coq only) - new file generic/proof-tree.el contains generic code - Coq specific code has been added to coq/coq.el Changes to existing Proof General functions: - proof-shell-exec-loop and proof-shell-filter-manage-output call proof-tree display functions, when the proof-tree display is on - proof-shell-exec-loop returns t if proof-action-list is empty _or_ contains only items for updating the proof-tree - proof-shell-should-be-silent returns nil when the proof-tree display is on - coq-last-prompt-info, coq-last-prompt-info-safe return as additional 4th element the name of the current proof | ||
* | Bump doc version numbers to 4.2pre. | David Aspinall | 2011-10-14 |
| | |||
* | Update dates and versions | David Aspinall | 2011-10-03 |
| | |||
* | -add support for -R and -I -as in coq-load-path | Hendrik Tews | 2011-09-15 |
| | | | | -improve documentation (and reorder stuff) | ||
* | Update dates, magic. | David Aspinall | 2011-06-10 |
| | |||
* | Update docstrings | David Aspinall | 2011-05-16 |
| | |||
* | Update docstring magic | David Aspinall | 2011-05-12 |
| | |||
* | Restore front page scary image. Update dates | David Aspinall | 2011-05-05 |
| | |||
* | - flushed proof-done-advancing-require-function and | Hendrik Tews | 2011-05-05 |
| | | | | | proof-shell-require-command-regexp - TAGS updated to really flush them | ||
* | Update magic, tweak Makefile to make sure magic uses source .els | David Aspinall | 2011-04-26 |
| | |||
* | - change to proof-restart-buffers for unlocking ancestors | Hendrik Tews | 2011-03-14 |
| | | | | - improve internal docs for unlocking | ||
* | put coq compilation feature into coq settings menu | Hendrik Tews | 2011-02-14 |
| | |||
* | - more info on the elements of proof-action-list; the COMMANDS | Hendrik Tews | 2011-01-26 |
| | | | | | list in it should be concatenated with (mapconcat 'identity COMMANDS " "), which is not the case proof-shell-insert. | ||
* | Documentation updates | David Aspinall | 2011-01-23 |
| | |||
* | Update date stamps | David Aspinall | 2011-01-19 |
| | |||
* | - implemented coq-lock-ancestors as described in the docs already | Hendrik Tews | 2011-01-18 |
| | |||
* | - move proof-no-fully-processed-buffer to generic/proof-config | Hendrik Tews | 2011-01-14 |
| | | | | | | - add documentation for it - add a test case demonstrating it in coq/ex/test-cases/retract-completely-asserted | ||
* | Update magic | David Aspinall | 2010-10-10 |
| | |||
* | Document query identifier | David Aspinall | 2010-10-01 |
| | |||
* | Update magic, release dates | David Aspinall | 2010-10-01 |
| | |||
* | Update magic | David Aspinall | 2010-08-27 |
| | |||
* | Update to use @dircategory and @direntry for info | David Aspinall | 2010-08-23 |
| | |||
* | Fix menu/node order inside internal chapter | David Aspinall | 2010-08-15 |
| | |||
* | Update magic | David Aspinall | 2009-12-01 |
| | |||
* | Updates to internal function docs | David Aspinall | 2009-11-29 |
| | |||
* | Remove function-menu as promised | David Aspinall | 2009-10-14 |
| | |||
* | Update magic | David Aspinall | 2009-09-30 |
| | |||
* | Update docs | David Aspinall | 2009-09-15 |
| | |||
* | Remove errant ^A | David Aspinall | 2009-09-15 |
| |