aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/ProofGeneral.texi
Commit message (Expand)AuthorAge
* Update license information for new logoGravatar Clément Pit--Claudel2016-05-25
* A remark about project file in the documentation.Gravatar Pierre Courtieu2015-03-26
* Update dates for release next monthGravatar David Aspinall2015-03-13
* Added some information on coq project file in doc.Gravatar Pierre Courtieu2013-07-22
* fix ProofGeneral.texi for infoGravatar Hendrik Tews2013-07-17
* Updating pg documentation about new feature coq project file.Gravatar Pierre Courtieu2013-07-05
* rename ProofGeneral.{jpg,gif} into ProofGeneral-image.{jpg,gif}Gravatar Hendrik Tews2013-05-22
* Retire Serifa font usageGravatar David Aspinall2013-05-22
* - update coq exampleGravatar Hendrik Tews2013-05-14
* add 4.3 news to user manualGravatar Hendrik Tews2013-03-27
* Update timestampesGravatar David Aspinall2013-01-28
* - implement proof-script insertionGravatar Hendrik Tews2013-01-21
* - implement retract from prooftreeGravatar Hendrik Tews2013-01-20
* document latest changesGravatar Hendrik Tews2013-01-17
* - support bullets and braces in ProoftreeGravatar Hendrik Tews2013-01-15
* all-cpus option for coq-max-background-compilation-jobsGravatar Hendrik Tews2012-11-14
* update documentationGravatar Hendrik Tews2012-11-14
* no braces and bullets for prooftreeGravatar Hendrik Tews2012-09-14
* treat #450 by requiring that proofs are started with ProofGravatar Hendrik Tews2012-09-12
* Add user option proof-next-command-insert-space.Gravatar David Aspinall2012-08-14
* Completed documentation for file variables.Gravatar Pierre Courtieu2012-06-19
* - erase invalid coq-load-path entry format '("dir")Gravatar Hendrik Tews2012-05-29
* fix typo + add one missing cvsignoreGravatar Hendrik Tews2012-05-09
* Update variable docs. Use HOL Light instead of HOL98.Gravatar David Aspinall2012-01-05
* Add News for Version 4.2Gravatar David Aspinall2012-01-03
* merge ProofTreeBranch into main trunk:Gravatar Hendrik Tews2012-01-03
* Bump doc version numbers to 4.2pre.Gravatar David Aspinall2011-10-14
* Update dates and versionsGravatar David Aspinall2011-10-03
* fix coqdep warning treated as error (library occurring atGravatar Hendrik Tews2011-09-23
* fix doc for coq -R patchGravatar Hendrik Tews2011-09-19
* Several improvements:Gravatar David Aspinall2011-09-19
* -add support for -R and -I -as in coq-load-pathGravatar Hendrik Tews2011-09-15
* Add another contributor.Gravatar David Aspinall2011-09-14
* fix documentation errorGravatar Hendrik Tews2011-09-09
* Update magicGravatar David Aspinall2011-08-23
* + fix documentation and one spelling errorGravatar Hendrik Tews2011-07-05
* Update dates, magic.Gravatar David Aspinall2011-06-10
* Update docstring magicGravatar David Aspinall2011-05-12
* Update dates.Gravatar David Aspinall2011-05-05
* Restore scary front page image. Add credits.Gravatar David Aspinall2011-05-05
* Update magic, tweak Makefile to make sure magic uses source .elsGravatar David Aspinall2011-04-26
* Add proof-output-tooltips option to turn off output highlighting for people w...Gravatar David Aspinall2011-04-13
* typoGravatar David Aspinall2011-04-12
* put coq compilation feature into coq settings menuGravatar Hendrik Tews2011-02-14
* - properly display compilation error messages and enable M-xGravatar Hendrik Tews2011-02-02
* - use low-level compilation interface for external coqGravatar Hendrik Tews2011-01-28
* - mark new coq specific variables as safeGravatar Hendrik Tews2011-01-28
* - more info on the elements of proof-action-list; the COMMANDSGravatar Hendrik Tews2011-01-26
* - fix 1 second problemGravatar Hendrik Tews2011-01-26
* Add News for 4.1Gravatar David Aspinall2011-01-24
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 23:51:10 +0000