| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2017-06-30 | Formatting fix for proof-layout-windows documentation | Andreas Lööw | |
| 2017-05-24 | Remove mmm and ML4PG contribs and remove references to them in code and docs | Paul Steckler | |
| 2017-04-12 | [doc]: add documentation for the EasyCrypt mode | Pierre-Yves Strub | |
| 2017-01-19 | save settings not defined with defpacustom (fixes #142) | Hendrik Tews | |
| - infrastructure for saving/resetting customizations not defined with defpacustom - improve Coq -> Auto Compilation menu - polish documentation and manual | |||
| 2017-01-17 | use makeinfo instead of texi2html | Hendrik Tews | |
| texi2html is dead, see for instance https://wiki.debian.org/Texi2htmlTransition | |||
| 2016-12-26 | Fix doc for Coq electric terminator. | Erik Martin-Dorel | |
| Close ProofGeneral/PG#138. | |||
| 2016-12-15 | Improve doc on coq project file | Hendrik Tews | |
| ... following the discussion in github on 32fea19d1bb66593e469b1a8e6ad38f3ae1714bf | |||
| 2016-12-14 | fix generic interrupt procedure to interrupt parallel background compilation | Hendrik Tews | |
| 2016-12-08 | documentation and CHANGES for coq-compile-keep-going | Hendrik Tews | |
| 2016-11-29 | update documentation | Hendrik Tews | |
| 2016-10-27 | gitignore for doc subdir | Hendrik Tews | |
| 2016-10-15 | Follow-up of #115. | Erik Martin-Dorel | |
| 2016-09-19 | Bump version number for next release cycle. | Erik Martin-Dorel | |
| 2016-09-18 | 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-07-23 | Add documentation about the recommended way to set coq-prog-name. | Erik Martin-Dorel | |
| 2016-07-23 | Run "make magic" to update texi comments from elisp docstrings. | Erik Martin-Dorel | |
| 2016-07-07 | Fix inforef references to the emacs manual. (#88) | Yuval Langer | |
| 2016-07-03 | Fix link. | Erik Martin-Dorel | |
| 2016-06-18 | coq-load-path docs: norec -> nonrec (#79) | Timothy Bourke | |
| 2016-05-25 | Update license information for new logo | Clément Pit--Claudel | |
| 2016-05-24 | Update PG's logo | Clément Pit--Claudel | |
| The new art is a contribution of Yoshihiro Imai (http://proofcafe.org/~yoshihiro503/), first released at https://github.com/yoshihiro503/generaltan and kindly made available under the terms of the GPL. Many thanks! | |||
| 2016-02-10 | Update numbering flag passed to texi2html | Tej Chajed | |
| texi2html, as of version 1.80 (http://download-mirror.savannah.gnu.org/releases//texi2html/NEWS-1.80), uses -number-sections instead of -number for the flag name. | |||
| 2015-03-26 | A remark about project file in the documentation. | Pierre Courtieu | |
| Saying that one -arg should be followed by only one option. For several options, put several -arg, ONE PER LINE. | |||
| 2015-03-13 | Update dates for release next month | David Aspinall | |
| 2015-01-05 | Fix crossref broken by newline. Remove custom font | David Aspinall | |
| 2013-07-22 | Added some information on coq project file in doc. | Pierre Courtieu | |
| 2013-07-17 | Fix image name | David Aspinall | |
| 2013-07-17 | fix ProofGeneral.texi for info | Hendrik Tews | |
| 2013-07-05 | Updating pg documentation about new feature coq project file. | Pierre Courtieu | |
| 2013-05-22 | rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif} | Hendrik Tews | |
| to fix #472 | |||
| 2013-05-22 | Retire Serifa font usage | David Aspinall | |
| 2013-05-14 | - update coq example | Hendrik Tews | |
| - minor changes in user manual | |||
| 2013-03-27 | add 4.3 news to user manual | Hendrik Tews | |
| 2013-01-28 | Update timestampes | David Aspinall | |
| 2013-01-21 | - implement proof-script insertion | Hendrik Tews | |
| 2013-01-20 | - implement retract from prooftree | Hendrik Tews | |
| 2013-01-17 | document latest changes | Hendrik Tews | |
| 2013-01-17 | - support Grab Existential Variables for Prooftree | Hendrik Tews | |
| - protocol change, but stay at version 3 | |||
| 2013-01-15 | removal of backup files (*~) moved to make distclean | Hendrik Tews | |
| 2013-01-15 | - support bullets and braces in Prooftree | Hendrik Tews | |
| - prooftree protocol change to version 3 | |||
| 2013-01-10 | fix parallel overlapping calls of proof-shell-filter | Hendrik Tews | |
| 2012-11-14 | all-cpus option for coq-max-background-compilation-jobs | Hendrik Tews | |
| 2012-11-14 | update documentation | Hendrik Tews | |
| 2012-09-14 | no braces and bullets for prooftree | Hendrik Tews | |
| 2012-09-12 | treat #450 by requiring that proofs are started with Proof | Hendrik Tews | |
| 2012-08-14 | Add user option proof-next-command-insert-space. | David Aspinall | |
| 2012-06-19 | Completed documentation for file variables. | Pierre Courtieu | |
| 2012-05-29 | - erase invalid coq-load-path entry format '("dir") | Hendrik Tews | |
| - check if coq-load-path is well-formed - update documentation | |||
| 2012-05-09 | fix typo + add one missing cvsignore | Hendrik Tews | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |