aboutsummaryrefslogtreecommitdiff
path: root/doc
AgeCommit message (Expand)Author
2021-04-16omit proofs feature documented in PG-adaptingHendrik Tews
2021-04-16document the omit proofs feature manual and changes fileHendrik Tews
2021-04-16prefix arg for temporarily disabling omitting proofsHendrik Tews
2021-03-17Remove evaluate-elisp-comment-regexp and set-elisp-variable-regexpClément Pit-Claudel
2021-02-25test: Add Emacs 27.1 & Remove Emacs 24.3, 24.4 CI testsErik Martin-Dorel
2021-02-13update magical documentation in manual for vok featureHendrik Tews
2021-02-13update changes and documentation for vok featureHendrik Tews
2021-01-31update manuals with make magicHendrik Tews
2021-01-31fix another make magic problem from 2018Hendrik Tews
2021-01-31fix make magic problem from 2018Hendrik Tews
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:31:13 +0000