aboutsummaryrefslogtreecommitdiff
path: root/doc/ProofGeneral.texi
AgeCommit message (Expand)Author
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-08-23ProofGeneral.texi: Add EasyCrypt in the introErik 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
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
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-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
2015-03-26A remark about project file in the documentation.Pierre Courtieu
2015-03-13Update dates for release next monthDavid Aspinall
2013-07-22Added some information on coq project file in doc.Pierre Courtieu
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
2013-05-14- update coq exampleHendrik Tews
2013-03-27add 4.3 news to user manualHendrik Tews
2013-01-28Update timestampesDavid Aspinall
2013-01-21- implement proof-script insertionHendrik Tews
2013-01-20- implement retract from prooftreeHendrik Tews
2013-01-17document latest changesHendrik Tews
2013-01-15- support bullets and braces in ProoftreeHendrik Tews
2012-11-14all-cpus option for coq-max-background-compilation-jobsHendrik Tews
2012-11-14update documentationHendrik Tews
2012-09-14no braces and bullets for prooftreeHendrik Tews
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:31:41 +0000