Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | ProofGeneral.texi: Add EasyCrypt in the intro | 2018-08-23 | |
| | |||
* | Fix most doc issues raised by (checkdoc) | 2018-08-23 | |
| | |||
* | Update Info dir file (so there’s no unwanted line break) | 2018-08-23 | |
| | |||
* | Bump version from 4.4.1~pre to 4.5-git | 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 | 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 | ||
* | Update copyright messages and improve the header of elisp files. | 2018-02-21 | |
| | |||
* | Formatting fix for proof-layout-windows documentation | 2017-06-30 | |
| | |||
* | Remove mmm and ML4PG contribs and remove references to them in code and docs | 2017-05-24 | |
| | |||
* | [doc]: add documentation for the EasyCrypt mode | 2017-04-12 | |
| | |||
* | save settings not defined with defpacustom (fixes #142) | 2017-01-19 | |
| | | | | | | | - infrastructure for saving/resetting customizations not defined with defpacustom - improve Coq -> Auto Compilation menu - polish documentation and manual | ||
* | use makeinfo instead of texi2html | 2017-01-17 | |
| | | | | | texi2html is dead, see for instance https://wiki.debian.org/Texi2htmlTransition | ||
* | Fix doc for Coq electric terminator. | 2016-12-26 | |
| | | | | Close ProofGeneral/PG#138. | ||
* | Improve doc on coq project file | 2016-12-15 | |
| | | | | ... following the discussion in github on 32fea19d1bb66593e469b1a8e6ad38f3ae1714bf | ||
* | fix generic interrupt procedure to interrupt parallel background compilation | 2016-12-14 | |
| | |||
* | documentation and CHANGES for coq-compile-keep-going | 2016-12-08 | |
| | |||
* | update documentation | 2016-11-29 | |
| | |||
* | gitignore for doc subdir | 2016-10-27 | |
| | |||
* | Follow-up of #115. | 2016-10-15 | |
| | |||
* | Bump version number for next release cycle. | 2016-09-19 | |
| | |||
* | Update the documentation and prepare the release 4.4. | 2016-09-18 | |
| | |||
* | Comment-out the rcsid ($Id$) that dates from CVS. | 2016-09-18 | |
| | |||
* | Add documentation about the recommended way to set coq-prog-name. | 2016-07-23 | |
| | |||
* | Run "make magic" to update texi comments from elisp docstrings. | 2016-07-23 | |
| | |||
* | Fix inforef references to the emacs manual. (#88) | 2016-07-07 | |
| | |||
* | Fix link. | 2016-07-03 | |
| | |||
* | coq-load-path docs: norec -> nonrec (#79) | 2016-06-18 | |
| | |||
* | Update license information for new logo | 2016-05-25 | |
| | |||
* | Update PG's logo | 2016-05-24 | |
| | | | | | | | 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! | ||
* | Update numbering flag passed to texi2html | 2016-02-10 | |
| | | | | | | 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. | ||
* | A remark about project file in the documentation. | 2015-03-26 | |
| | | | | | Saying that one -arg should be followed by only one option. For several options, put several -arg, ONE PER LINE. | ||
* | Update dates for release next month | 2015-03-13 | |
| | |||
* | Fix crossref broken by newline. Remove custom font | 2015-01-05 | |
| | |||
* | Added some information on coq project file in doc. | 2013-07-22 | |
| | |||
* | Fix image name | 2013-07-17 | |
| | |||
* | fix ProofGeneral.texi for info | 2013-07-17 | |
| | |||
* | Updating pg documentation about new feature coq project file. | 2013-07-05 | |
| | |||
* | rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif} | 2013-05-22 | |
| | | | | to fix #472 | ||
* | Retire Serifa font usage | 2013-05-22 | |
| | |||
* | - update coq example | 2013-05-14 | |
| | | | | - minor changes in user manual | ||
* | add 4.3 news to user manual | 2013-03-27 | |
| | |||
* | Update timestampes | 2013-01-28 | |
| | |||
* | - implement proof-script insertion | 2013-01-21 | |
| | |||
* | - implement retract from prooftree | 2013-01-20 | |
| | |||
* | document latest changes | 2013-01-17 | |
| | |||
* | - support Grab Existential Variables for Prooftree | 2013-01-17 | |
| | | | | - protocol change, but stay at version 3 | ||
* | removal of backup files (*~) moved to make distclean | 2013-01-15 | |
| | |||
* | - support bullets and braces in Prooftree | 2013-01-15 | |
| | | | | - prooftree protocol change to version 3 | ||
* | fix parallel overlapping calls of proof-shell-filter | 2013-01-10 | |
| | |||
* | all-cpus option for coq-max-background-compilation-jobs | 2012-11-14 | |
| | |||
* | update documentation | 2012-11-14 | |
| |