aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/ProofGeneral.texi
Commit message (Expand)AuthorAge
...
* 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
* Documentation updatesGravatar David Aspinall2011-01-23
* Update date stampsGravatar David Aspinall2011-01-19
* - improved doc nodes Using file variables and Locking AncestorsGravatar Hendrik Tews2011-01-19
* - implemented coq-lock-ancestors as described in the docs alreadyGravatar Hendrik Tews2011-01-18
* - fix broken external compilationGravatar Hendrik Tews2011-01-18
* Tweak text wrt http://proofgeneral.inf.ed.ac.uk/trac/ticket/355Gravatar David Aspinall2011-01-12
* WhitespaceGravatar David Aspinall2010-10-11
* Add Adam Megacz to creditsGravatar David Aspinall2010-10-11
* Cleanups.Gravatar David Aspinall2010-10-10
* Update documenation of mouse bindings.Gravatar David Aspinall2010-10-10
* Update magicGravatar David Aspinall2010-10-08
* Improve autosend docGravatar David Aspinall2010-10-08
* Fully remove section for Coq-specific variables (coq-version-is-*Gravatar David Aspinall2010-10-04
* Fix some mouse bindingsGravatar David Aspinall2010-10-04
* Document query identifierGravatar David Aspinall2010-10-01
* Update magic, release datesGravatar David Aspinall2010-10-01
* Fix for new menu layout. Improve doc for automatic processing, document-cent...Gravatar David Aspinall2010-09-21
* Update magicGravatar David Aspinall2010-08-27
* Update versionsGravatar David Aspinall2010-08-24
* Fix image embedding in htmlGravatar David Aspinall2010-08-23
* Update to use @dircategory and @direntry for infoGravatar David Aspinall2010-08-23
* Add some more creditsGravatar David Aspinall2010-08-23
* Add some more creditsGravatar David Aspinall2010-08-23
* Add doc for Send Automatically optionGravatar David Aspinall2010-08-19
* Simplify installation instructionsGravatar David Aspinall2010-08-18
* proof-allow-undo-in-read-only: remove, use proof-strict-read-only instead.Gravatar David Aspinall2010-08-03
* Update years, versions.Gravatar David Aspinall2010-07-08
* Fix menu path to Sticky Errors option.Gravatar David Aspinall2009-12-02
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-21 12:53:38 +0000