aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
Commit message (Expand)AuthorAge
* 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
* pg-topterm-char -> pg-topterm-regexpGravatar David Aspinall2007-08-19
* Add support for sending back literal commands reusing PBP markup mechanisms.Gravatar David Aspinall2007-08-14
* Revert html target to not include dir (although it builds in dir)Gravatar David Aspinall2007-06-19
* New subdirs for htmlGravatar David Aspinall2007-06-19
* 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 commentGravatar David Aspinall2007-06-19
* Path for docstring-magicGravatar David Aspinall2007-05-10
* Fix library nameGravatar David Aspinall2007-05-10
* Fix walk through example for Isabelle2007, including missing lineGravatar David Aspinall2007-05-10
* Tweaks to bugs sectionGravatar David Aspinall2007-03-03
* Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out)Gravatar David Aspinall2007-03-03
* Remove old Isabelle section and references to it; clean up and streamline Isa...Gravatar David Aspinall2007-03-03
* Remove thy-mode from isaGravatar David Aspinall2006-12-20
* 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
* Include proofgeneral.1 target. Fix make->(MAKE)Gravatar David Aspinall2005-08-10
* Updated.Gravatar David Aspinall2005-08-10
* Document proof-shell-start, proof-shell-exit keysGravatar David Aspinall2005-05-31
* Fix menu path to CustomizeGravatar David Aspinall2005-05-17
* Updated.Gravatar David Aspinall2005-03-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-06 07:20:27 +0000