aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* Update versionsGravatar David Aspinall2009-08-31
* Clarify mode functions. Fix cross references to Elisp ref (not XEmacs Lispref)Gravatar David Aspinall2009-08-28
* Add recommendation for DejaVu fonts. Update magic.Gravatar David Aspinall2009-08-25
* Don't make link to index.htmlGravatar David Aspinall2009-08-20
* Updated.Gravatar David Aspinall2009-08-17
* proof-looking-at-syntactic-context: add doc. Update doc/names of proof shell...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
* TweakGravatar David Aspinall2008-12-05
* Some minimal updates for 4.0preGravatar David Aspinall2008-12-05
* Fix extra @end defvarGravatar 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
* Fix loading of multiple prover files: set proof-assistant-table to nil so pro...Gravatar 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
* Update magicGravatar David Aspinall2008-01-30
* Comment about maths menuGravatar David Aspinall2008-01-30
* Update magicGravatar David Aspinall2008-01-30
* Update credits and add section on Unicode supportGravatar David Aspinall2008-01-30
* Load unicode-tokens.elGravatar David Aspinall2008-01-30
* Disable undo in read-only region; add proof-allow-undo-in-read-only settingGravatar David Aspinall2008-01-29
* Quote braces properlyGravatar David Aspinall2008-01-24
* Add key binding for ML {* *} short cut.Gravatar David Aspinall2008-01-24
* Add keys for new theorems containing commandsGravatar David Aspinall2008-01-24
* Patch from Mark A. Hillebrand, trac #171Gravatar David Aspinall2008-01-24
* Disable removal from input historyGravatar David Aspinall2008-01-17
* Not batch for debugGravatar David Aspinall2008-01-17
* Fix included fileGravatar David Aspinall2008-01-17
* Update datesGravatar David Aspinall2008-01-17
* Update documentation. Credits, dates, input ring.Gravatar David Aspinall2008-01-17
* Update for new startup mechanism.Gravatar David Aspinall2008-01-17
* Fix typo.Gravatar David Aspinall2008-01-17
* Updated.Gravatar David Aspinall2008-01-17
* Updated.Gravatar David Aspinall2008-01-16
* Remove architecture flags. Remove proof-pre-shell-start and proof-mode-for- s...Gravatar David Aspinall2008-01-14
* UpdateGravatar David Aspinall2008-01-05
* Prevent magic during distGravatar David Aspinall2007-12-14
* Update docstring magicGravatar David Aspinall2007-12-14
* Rename: proof-show-debug-messages -> proof-general-debug.Gravatar David Aspinall2007-12-14
* Fix walkthrough to match Isabelle 2007Gravatar David Aspinall2007-12-09
* Extra first section on installationGravatar David Aspinall2007-12-09
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 02:12:40 +0000