aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2020-06-04New hook for early prompt/output analyzis.Pierre Courtieu
2020-05-06doc/ProofGeneral.texi: fix makeinfoToni Dietze
2020-04-15update documentation for vos compilationHendrik Tews
2020-04-15Span menu entry for proof using annotation + doc.Pierre Courtieu
2020-04-02Rephrase ProofGeneral.texi following PR #476 that fixed #475Erik Martin-Dorel
2020-04-02Correct documentationLawrence Dunn
2020-04-01SearchAbout is deprecated since 8.5; use Search insteadClément Pit-Claudel
2020-01-19Generic monadic indentation + specifically ext-lib / Compcert + doc.Pierre Courtieu
2019-05-16Do a "Set Diffs" whenever backtracking. This also re-prints theJim Fehrle
2019-05-16Highlight diffs in goals and some error messagesJim Fehrle
2019-05-02Fix typosJim Fehrle
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-08-23ProofGeneral.texi: Add EasyCrypt in the introErik Martin-Dorel
2018-08-23Fix most doc issues raised by (checkdoc)Erik Martin-Dorel
2018-08-23Update Info dir file (so there’s no unwanted line break)Erik Martin-Dorel
2018-08-22Bump version from 4.4.1~pre to 4.5-gitErik Martin-Dorel
2018-08-22Set the minimal supported version of emacs to 24.3 instead of 24.4Erik Martin-Dorel
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-06-30Formatting fix for proof-layout-windows documentationAndreas Lööw
2017-05-24Remove mmm and ML4PG contribs and remove references to them in code and docsPaul Steckler
2017-04-12[doc]: add documentation for the EasyCrypt modePierre-Yves Strub
2017-01-19save settings not defined with defpacustom (fixes #142)Hendrik Tews
2017-01-17use makeinfo instead of texi2htmlHendrik Tews
2016-12-26Fix doc for Coq electric terminator.Erik Martin-Dorel
2016-12-15Improve doc on coq project fileHendrik Tews
2016-12-14fix generic interrupt procedure to interrupt parallel background compilationHendrik Tews
2016-12-08documentation and CHANGES for coq-compile-keep-goingHendrik Tews
2016-11-29update documentationHendrik Tews
2016-10-27gitignore for doc subdirHendrik Tews
2016-10-15Follow-up of #115.Erik Martin-Dorel
2016-09-19Bump version number for next release cycle.Erik Martin-Dorel
2016-09-18Update the documentation and prepare the release 4.4.Erik Martin-Dorel
2016-09-18Comment-out the rcsid ($Id$) that dates from CVS.Erik Martin-Dorel
2016-07-23Add documentation about the recommended way to set coq-prog-name.Erik Martin-Dorel
2016-07-23Run "make magic" to update texi comments from elisp docstrings.Erik Martin-Dorel
2016-07-07Fix inforef references to the emacs manual. (#88)Yuval Langer
2016-07-03Fix link.Erik Martin-Dorel
2016-06-18coq-load-path docs: norec -> nonrec (#79)Timothy Bourke
2016-05-25Update license information for new logoClément Pit--Claudel
2016-05-24Update PG's logoClément Pit--Claudel
2016-02-10Update numbering flag passed to texi2htmlTej Chajed
2015-03-26A remark about project file in the documentation.Pierre Courtieu
2015-03-13Update dates for release next monthDavid Aspinall
2015-01-05Fix crossref broken by newline. Remove custom fontDavid Aspinall
2013-07-22Added some information on coq project file in doc.Pierre Courtieu
2013-07-17Fix image nameDavid Aspinall
2013-07-17fix ProofGeneral.texi for infoHendrik Tews
2013-07-05Updating pg documentation about new feature coq project file.Pierre Courtieu
2013-05-22rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}Hendrik Tews
2013-05-22Retire Serifa font usageDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:25:17 +0000