aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-config.el
AgeCommit message (Expand)Author
2004-04-14Add proof-imenu-enable. Other doc tweaks.David Aspinall
2004-04-14Add proof-script-imenu-generic-expression for configuring imenu.David Aspinall
2004-04-06Adjust proof-script-comment-end to fix comment-end to be empty for end-of-lin...David Aspinall
2004-04-02Turn on experimental features for 3.5. Adjust display settings.David Aspinall
2004-03-30Mention importance of proof-shell-annotated-prompt-regexp.David Aspinall
2004-03-15bug fix in holes (call to proof-indent-line instead of funcallPierre Courtieu
2004-02-28Comments.David Aspinall
2004-02-08Update email and web addressesDavid Aspinall
2004-02-07Remove more proofgeneral.org mail aliasesDavid Aspinall
2003-12-11Fix domain nameDavid Aspinall
2003-10-05Add interactive input setting, and extra flags for action.David Aspinall
2003-06-08Extend proof-shell-identifier-under-mouse to allow regions, and also depend o...David Aspinall
2003-06-08Add simple but effective identifier-under-mouse-query command.David Aspinall
2003-06-05Remove proof-trace-output-fontify-enable (unused) in favour of proof-trace-ou...David Aspinall
2003-06-05By default, do not move pointer on interrupt, only error; tune hints for spansDavid Aspinall
2003-05-24Add pg-show-hintsDavid Aspinall
2003-05-21Note about auto deactivate scripting actionDavid Aspinall
2003-05-20Default to not using pad-eolDavid Aspinall
2003-04-05Add proof-indent-pad-eol for prettifying colouring in XEmacsDavid Aspinall
2003-03-17Allow proof-strict-read-only to be changed dyamically, add to quick opts menu...David Aspinall
2003-02-18Add support for MMM modeDavid Aspinall
2003-02-05Doc generalisation of proof-script-command-end-regexp.David Aspinall
2002-12-29Add followdownDavid Aspinall
2002-11-20FIXMEDavid Aspinall
2002-11-14Add proof-shell-issue-pgip-cmdDavid Aspinall
2002-09-11Add proof-shrink-windows-tofit option.David Aspinall
2002-09-04Docstrings, setting for thms bufferDavid Aspinall
2002-08-31Improved implementation of zap-commas font lock behaviour, patch from Stefan ...David Aspinall
2002-08-31Try to reduce contrast for highlighting faceDavid Aspinall
2002-08-30Switch to using new parser by default. Disable fly-past-comments by default.David Aspinall
2002-08-30Strict read works on GNU Emacs 21.2.David Aspinall
2002-08-28Change proof-shell-theorem-dependency-regexp to use two pieces: names and dep...David Aspinall
2002-08-28Add proof-shell-theorem-dependency-list-splitDavid Aspinall
2002-08-27Add C-c C-w to universal keys.David Aspinall
2002-08-27Menu nameDavid Aspinall
2002-08-16Tweaks to faces. Set visible default for tactics-name-face.David Aspinall
2002-08-16Add context menu extensions, query dependencies cmdDavid Aspinall
2002-08-15RefactoringDavid Aspinall
2002-08-12DocstringDavid Aspinall
2002-08-12DocstringDavid Aspinall
2002-08-09Refactor proof-done-advancing by abstracting out new functions; fixes for aut...David Aspinall
2002-08-09Add menu entry for toggling visibilityDavid Aspinall
2002-08-08Generalise proof elements to include comments, show/hiding of comments.David Aspinall
2002-08-08Enable exper features for pre-releases automatically.David Aspinall
2002-08-08Tweak menu; add proof-shell-show-dependency-cmdDavid Aspinall
2002-08-07Fix docsDavid Aspinall
2002-08-07Rename proof-dont-switch-windows -> proof-three-window-modeDavid Aspinall
2002-08-07Default for proof-shell-strip-crs-from-output altered for Norbert Voelker to ...David Aspinall
2002-08-07Add proof-shell-strip-crs-from-outputDavid Aspinall
2002-08-07Menu capitalization; support email addr.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 06:11:39 +0000