aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc/ProofGeneral.texi
Commit message (Expand)AuthorAge
* 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
* Update magicGravatar David Aspinall2009-12-01
* Explain fontsets for Emacs 22Gravatar David Aspinall2009-12-01
* Update menu paths and faces.Gravatar David Aspinall2009-11-29
* Remove function-menu as promisedGravatar David Aspinall2009-10-14
* UpdatesGravatar David Aspinall2009-10-02
* Unicode Tokens in own chapter. Remove some func menu stuffGravatar David Aspinall2009-09-30
* Extended documentation for Tokens to explain layout control.Gravatar David Aspinall2009-09-25
* More changesGravatar David Aspinall2009-09-21
* Update docsGravatar David Aspinall2009-09-15
* Configuration changes for shell mode revision.Gravatar David Aspinall2009-09-06
* Updated news and creditsGravatar David Aspinall2009-09-05
* VersionGravatar David Aspinall2009-09-04
* Update versionsGravatar David Aspinall2009-08-31
* Add recommendation for DejaVu fonts. Update magic.Gravatar David Aspinall2009-08-25
* Updated.Gravatar David Aspinall2009-08-17
* Document proof-strict-read-only='retract.Gravatar David Aspinall2009-08-13
* Remove experimental features nodeGravatar David Aspinall2009-08-07
* Document document centric mechanism. Other updates and additions. Remove ex...Gravatar David Aspinall2009-08-07
* Tune walkthrough documentationGravatar David Aspinall2009-07-30
* Sanitize some email addresses awayGravatar David Aspinall2009-07-30
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
* Updates for Isabelle2009, new electric terminator behaviour.Gravatar David Aspinall2009-05-26
* Some minimal updates for 4.0preGravatar David Aspinall2008-12-05
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Updated.Gravatar David Aspinall2008-07-12
* Update for 3.7.1Gravatar David Aspinall2008-07-12
* Update docstringsGravatar David Aspinall2008-07-12
* Extend documentation for logic setting mechanism (needs magic update)Gravatar David Aspinall2008-07-10
* Add doc for `isabelle-chosen-logic\'Gravatar David Aspinall2008-07-10
* Credit Mitsuharu Yamamoto.Gravatar David Aspinall2008-01-31
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-24 02:09:44 +0000