aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/PG-adapting.texi
Commit message (Expand)AuthorAge
* Update Info dir file (so there’s no unwanted line break)Gravatar Erik Martin-Dorel2018-08-23
* Bump version from 4.4.1~pre to 4.5-gitGravatar Erik Martin-Dorel2018-08-22
* Set the minimal supported version of emacs to 24.3 instead of 24.4Gravatar Erik Martin-Dorel2018-08-22
* save settings not defined with defpacustom (fixes #142)Gravatar Hendrik Tews2017-01-19
* Bump version number for next release cycle.Gravatar Erik Martin-Dorel2016-09-19
* Update the documentation and prepare the release 4.4.Gravatar Erik Martin-Dorel2016-09-18
* Comment-out the rcsid ($Id$) that dates from CVS.Gravatar Erik Martin-Dorel2016-09-18
* Run "make magic" to update texi comments from elisp docstrings.Gravatar Erik Martin-Dorel2016-07-23
* Update dates for release next monthGravatar David Aspinall2015-03-13
* Fix crossref broken by newline. Remove custom fontGravatar David Aspinall2015-01-05
* Fix image nameGravatar David Aspinall2013-07-17
* Update timestampesGravatar David Aspinall2013-01-28
* - implement proof-script insertionGravatar Hendrik Tews2013-01-21
* - implement retract from prooftreeGravatar Hendrik Tews2013-01-20
* - support Grab Existential Variables for ProoftreeGravatar Hendrik Tews2013-01-17
* fix parallel overlapping calls of proof-shell-filterGravatar Hendrik Tews2013-01-10
* update documentationGravatar Hendrik Tews2012-11-14
* - erase invalid coq-load-path entry format '("dir")Gravatar Hendrik Tews2012-05-29
* TypoGravatar David Aspinall2012-01-19
* Add documentation for proof-shell-trace-output-regexp (Trac #432) andGravatar David Aspinall2012-01-10
* Update variable docs. Use HOL Light instead of HOL98.Gravatar David Aspinall2012-01-05
* merge ProofTreeBranch into main trunk:Gravatar Hendrik Tews2012-01-03
* Bump doc version numbers to 4.2pre.Gravatar David Aspinall2011-10-14
* Update dates and versionsGravatar David Aspinall2011-10-03
* -add support for -R and -I -as in coq-load-pathGravatar Hendrik Tews2011-09-15
* Update dates, magic.Gravatar David Aspinall2011-06-10
* Update docstringsGravatar David Aspinall2011-05-16
* Update docstring magicGravatar David Aspinall2011-05-12
* Restore front page scary image. Update datesGravatar David Aspinall2011-05-05
* - flushed proof-done-advancing-require-function andGravatar Hendrik Tews2011-05-05
* Update magic, tweak Makefile to make sure magic uses source .elsGravatar David Aspinall2011-04-26
* - change to proof-restart-buffers for unlocking ancestorsGravatar Hendrik Tews2011-03-14
* put coq compilation feature into coq settings menuGravatar Hendrik Tews2011-02-14
* - more info on the elements of proof-action-list; the COMMANDSGravatar Hendrik Tews2011-01-26
* Documentation updatesGravatar David Aspinall2011-01-23
* Update date stampsGravatar David Aspinall2011-01-19
* - implemented coq-lock-ancestors as described in the docs alreadyGravatar Hendrik Tews2011-01-18
* - move proof-no-fully-processed-buffer to generic/proof-configGravatar Hendrik Tews2011-01-14
* Update magicGravatar David Aspinall2010-10-10
* Document query identifierGravatar David Aspinall2010-10-01
* Update magic, release datesGravatar David Aspinall2010-10-01
* Update magicGravatar David Aspinall2010-08-27
* Update to use @dircategory and @direntry for infoGravatar David Aspinall2010-08-23
* Fix menu/node order inside internal chapterGravatar David Aspinall2010-08-15
* Update magicGravatar David Aspinall2009-12-01
* Updates to internal function docsGravatar David Aspinall2009-11-29
* Remove function-menu as promisedGravatar David Aspinall2009-10-14
* Update magicGravatar David Aspinall2009-09-30
* Update docsGravatar David Aspinall2009-09-15
* Remove errant ^AGravatar David Aspinall2009-09-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-01 03:11:39 +0000