aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2008-01-26Revert invisible behaviour for GNU Emacs 21.XDavid Aspinall
2008-01-26Updated.David Aspinall
2008-01-26Deleted fileDavid Aspinall
2008-01-25pg-clear-script-portions: fix handling of buffer-invisibility-specDavid Aspinall
2008-01-25fixed usage: default for option -p is emacs, not xemacs;Makarius Wenzel
2008-01-25Missing quoteDavid Aspinall
2008-01-25Updated.David Aspinall
2008-01-25Fix variable renameDavid Aspinall
2008-01-25New files.David Aspinall
2008-01-25proof-fontify-region: set font-lock-verbose to nil to prevent ugly glitchesDavid Aspinall
2008-01-25Fix previous change.David Aspinall
2008-01-25Make isatool usage (view doc) compatible with proof-rsh-command.David Aspinall
2008-01-25Make isatool usage compatible with proof-rsh-command.David Aspinall
2008-01-25Back patch for XEmacs 21.4 on API change to add-hook.David Aspinall
2008-01-25Back patch for XEmacs 21.4 on API change to add-hook.David Aspinall
2008-01-25split string on proof-rsh-commandDavid Aspinall
2008-01-25Remove unicode tokens from menu, this is experimental.David Aspinall
2008-01-25Remove unicode tokens from menu, this is experimental.David Aspinall
2008-01-25Updated.David Aspinall
2008-01-25Patch and cleanup for Coq indent code, see http://proofgeneral.inf.ed.ac.uk/t...David Aspinall
2008-01-25Updated.David Aspinall
2008-01-25Updated.David Aspinall
2008-01-25Add unicode-tokens-enableDavid Aspinall
2008-01-25Commentary: move compile notes to etc/development-tips.txtDavid Aspinall
2008-01-25Updated.David Aspinall
2008-01-25Deleted fileDavid Aspinall
2008-01-25New files.David Aspinall
2008-01-25Deleted fileDavid Aspinall
2008-01-25Set version tag for new release.David Aspinall
2008-01-24Remove use of proof-assDavid Aspinall
2008-01-24Set version tag for new release.David Aspinall
2008-01-24Updated.David Aspinall
2008-01-24Deleted fileDavid Aspinall
2008-01-24New files.David Aspinall
2008-01-24Missing parenDavid Aspinall
2008-01-24Fixes and cleanups for coq-indent-line, see Trac #172David Aspinall
2008-01-24Quote braces properlyDavid Aspinall
2008-01-24Add key binding for ML {* *} short cut.David Aspinall
2008-01-24Add key binding for ML {* *} and fix longsuper, longsubDavid Aspinall
2008-01-24Add keys for new theorems containing commandsDavid Aspinall
2008-01-24Patch from Mark A. Hillebrand, trac #171David Aspinall
2008-01-24fixed spelling;Makarius Wenzel
2008-01-22CleanDavid Aspinall
2008-01-22New files.David Aspinall
2008-01-17Disable removal from input historyDavid Aspinall
2008-01-17Set version tag for new release.David Aspinall
2008-01-17Updated.David Aspinall
2008-01-17Fix typo.David Aspinall
2008-01-17Also wait on pg-custom before running proof-set-value.David Aspinall
2008-01-17Updated.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 12:45:23 +0000