aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/ProofGeneral.texi
Commit message (Expand)AuthorAge
* Fix walkthrough to match Isabelle 2007Gravatar David Aspinall2007-12-09
* Extra first section on installationGravatar David Aspinall2007-12-09
* Fix broken texi magic strings.Gravatar David Aspinall2007-06-19
* Account for new default behaviour of texi2html, using subdir for manualsGravatar David Aspinall2007-06-19
* Fix walk through example for Isabelle2007, including missing lineGravatar David Aspinall2007-05-10
* Tweaks to bugs sectionGravatar David Aspinall2007-03-03
* Remove old Isabelle section and references to it; clean up and streamline Isa...Gravatar David Aspinall2007-03-03
* Add buffer history browsingGravatar David Aspinall2006-09-24
* Stop texi2html complaining about unknown command @c=====Gravatar David Aspinall2006-05-26
* Modified documentation abou file variables to be compliant with newGravatar Pierre Courtieu2006-04-26
* Addition from Tjark Weber for new commandsGravatar David Aspinall2005-09-22
* Document proof-shell-start, proof-shell-exit keysGravatar David Aspinall2005-05-31
* Fix menu path to CustomizeGravatar David Aspinall2005-05-17
* Updated the doc for new pg/coq. Made modifications advised by StefanGravatar Pierre Courtieu2005-02-17
* Update for 3.6Gravatar David Aspinall2004-08-25
* Update magic, datesGravatar David Aspinall2004-06-04
* Update versions and dates. Extra section in adapting for syntax table, etc.Gravatar David Aspinall2004-05-09
* Fixup whitespace.Gravatar David Aspinall2004-05-06
* Update magicGravatar David Aspinall2004-04-27
* Update magic.Gravatar David Aspinall2004-04-24
* Escape { and }Gravatar David Aspinall2004-04-17
* Add missing menu entry.Gravatar David Aspinall2004-04-17
* Update magicGravatar David Aspinall2004-04-17
* Numerous updates and improvements:Gravatar David Aspinall2004-04-17
* Document Imenu/Speedbar. Update contributors.Gravatar David Aspinall2004-04-16
* added little doc for holes.Gravatar Pierre Courtieu2004-04-15
* Update version to 3.5Gravatar David Aspinall2004-04-03
* Update documentation of different display modesGravatar David Aspinall2004-04-02
* Fix more proofgeneral.orgGravatar David Aspinall2004-03-23
* Update dateGravatar David Aspinall2004-03-23
* Intro to 3.5 version, Emacs version updateGravatar David Aspinall2004-03-23
* Update last updated stampGravatar David Aspinall2004-03-23
* Fix linkGravatar David Aspinall2004-02-08
* Update magicGravatar David Aspinall2004-02-08
* Updated.Gravatar David Aspinall2004-02-08
* Fix domain nameGravatar David Aspinall2003-12-11
* Typo; update magicGravatar David Aspinall2003-06-05
* Updated magicGravatar David Aspinall2003-03-17
* Note about M-x x-symbol-modeGravatar David Aspinall2003-03-03
* Update doc of X-SymGravatar David Aspinall2003-03-01
* Added a paragraph in the documentation for the variable coq-version-is-V74.Gravatar Pierre Courtieu2003-02-05
* Update version number, reorg.Gravatar David Aspinall2002-09-11
* Add Stefan MonnierGravatar David Aspinall2002-08-29
* Updated.Gravatar David Aspinall2002-08-29
* Update magicGravatar David Aspinall2002-08-29
* Update dir entries, remove localdir fileGravatar David Aspinall2002-08-28
* Updated magicGravatar David Aspinall2002-08-27
* Tweak Pierres docsGravatar David Aspinall2002-08-12
* Tweak Pierres docsGravatar David Aspinall2002-08-12
* Document experimental features; update other descriptions.Gravatar David Aspinall2002-08-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-17 19:02:07 +0000