aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/ProofGeneral.texi
Commit message (Expand)AuthorAge
* ProofGeneral.texi: Add EasyCrypt in the introGravatar Erik Martin-Dorel2018-08-23
* 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
* Formatting fix for proof-layout-windows documentationGravatar Andreas Lööw2017-06-30
* Remove mmm and ML4PG contribs and remove references to them in code and docsGravatar Paul Steckler2017-05-24
* [doc]: add documentation for the EasyCrypt modeGravatar Pierre-Yves Strub2017-04-12
* save settings not defined with defpacustom (fixes #142)Gravatar Hendrik Tews2017-01-19
* Fix doc for Coq electric terminator.Gravatar Erik Martin-Dorel2016-12-26
* Improve doc on coq project fileGravatar Hendrik Tews2016-12-15
* fix generic interrupt procedure to interrupt parallel background compilationGravatar Hendrik Tews2016-12-14
* documentation and CHANGES for coq-compile-keep-goingGravatar Hendrik Tews2016-12-08
* update documentationGravatar Hendrik Tews2016-11-29
* Follow-up of #115.Gravatar Erik Martin-Dorel2016-10-15
* 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
* Add documentation about the recommended way to set coq-prog-name.Gravatar Erik Martin-Dorel2016-07-23
* Run "make magic" to update texi comments from elisp docstrings.Gravatar Erik Martin-Dorel2016-07-23
* Fix inforef references to the emacs manual. (#88)Gravatar Yuval Langer2016-07-07
* Fix link.Gravatar Erik Martin-Dorel2016-07-03
* coq-load-path docs: norec -> nonrec (#79)Gravatar Timothy Bourke2016-06-18
* Update license information for new logoGravatar Clément Pit--Claudel2016-05-25
* A remark about project file in the documentation.Gravatar Pierre Courtieu2015-03-26
* Update dates for release next monthGravatar David Aspinall2015-03-13
* Added some information on coq project file in doc.Gravatar Pierre Courtieu2013-07-22
* fix ProofGeneral.texi for infoGravatar Hendrik Tews2013-07-17
* Updating pg documentation about new feature coq project file.Gravatar Pierre Courtieu2013-07-05
* rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}Gravatar Hendrik Tews2013-05-22
* Retire Serifa font usageGravatar David Aspinall2013-05-22
* - update coq exampleGravatar Hendrik Tews2013-05-14
* add 4.3 news to user manualGravatar Hendrik Tews2013-03-27
* Update timestampesGravatar David Aspinall2013-01-28
* - implement proof-script insertionGravatar Hendrik Tews2013-01-21
* - implement retract from prooftreeGravatar Hendrik Tews2013-01-20
* document latest changesGravatar Hendrik Tews2013-01-17
* - support bullets and braces in ProoftreeGravatar Hendrik Tews2013-01-15
* all-cpus option for coq-max-background-compilation-jobsGravatar Hendrik Tews2012-11-14
* update documentationGravatar Hendrik Tews2012-11-14
* no braces and bullets for prooftreeGravatar Hendrik Tews2012-09-14
* treat #450 by requiring that proofs are started with ProofGravatar Hendrik Tews2012-09-12
* Add user option proof-next-command-insert-space.Gravatar David Aspinall2012-08-14
* Completed documentation for file variables.Gravatar Pierre Courtieu2012-06-19
* - erase invalid coq-load-path entry format '("dir")Gravatar Hendrik Tews2012-05-29
* fix typo + add one missing cvsignoreGravatar Hendrik Tews2012-05-09
* Update variable docs. Use HOL Light instead of HOL98.Gravatar David Aspinall2012-01-05
* Add News for Version 4.2Gravatar David Aspinall2012-01-03
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-04-30 22:52:08 +0000