aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2002-11-14Add proof-assistant-menu-update, allow redefine of setting in pacustom.David Aspinall
2002-11-14Tweak calling of pg-pgip processing commands.David Aspinall
2002-11-14Add proof-shell-issue-pgip-cmdDavid Aspinall
2002-11-14Erase buffer in kill action. Tweak proof-debug arguments.David Aspinall
2002-11-13Fix to proof-shell-handle-output (or rather, to setting of proof-shell-last-o...David Aspinall
2002-11-11Set version tag for new release.David Aspinall
2002-11-11(Failed) Attempt to fix UTF-8 problem for RH8.David Aspinall
2002-11-08Set version tag for new release.David Aspinall
2002-11-07Debuggin pg-pgip-haspref.David Aspinall
2002-11-07Add subst-char-in-string (Monnier patch) for XEmacs.David Aspinall
2002-11-07Patch from Stefan Monnier to attempt to handle multi-line inputs in Coq; plus...David Aspinall
2002-11-07Updated.David Aspinall
2002-09-16Set version tag for new release.David Aspinall
2002-09-14New files.David Aspinall
2002-09-14Change to proof-shell-ready-prover to allow more flexible queue handlingDavid Aspinall
2002-09-14CommentsDavid Aspinall
2002-09-13Comment on display anomalyDavid Aspinall
2002-09-13set-specifier -> remove-specifier as per XEmacs docs.David Aspinall
2002-09-11Fix typo.David Aspinall
2002-09-11Save more space/fix display anomolay by leaving point at end of non-whitespaceDavid Aspinall
2002-09-11Short-circuit goals display if string empty.David Aspinall
2002-09-11Don't insert blank line at top of response buffer.David Aspinall
2002-09-11Fix proof-quick-opts-save to match menuDavid Aspinall
2002-09-11Set version tag for new release.David Aspinall
2002-09-11Attempt to improve window shrinking. Still needs work.David Aspinall
2002-09-11Redisplay for gnuemacs on visibility changes. Small parser tweak. Comments.David Aspinall
2002-09-11Add :visible support. Minor reorganisation.David Aspinall
2002-09-11Support for new proof-shrink-windows-tofit option.David Aspinall
2002-09-11Begin support for thms bufferDavid Aspinall
2002-09-11Add proof-shrink-windows-tofit option.David Aspinall
2002-09-11Emulate :visible keywordDavid Aspinall
2002-09-11Missing parenDavid Aspinall
2002-09-04Docstrings, setting for thms bufferDavid Aspinall
2002-09-04Begin adding code for thms bufferDavid Aspinall
2002-09-04Add proof-thms-bufferDavid Aspinall
2002-09-04only hack proof-info-directory if it exists (doesnt for RPM version)David Aspinall
2002-09-04generic/proof-menu: move electric terminator, show specific; Help menu items ...David Aspinall
2002-08-31Set version tag for new release.David Aspinall
2002-08-31Documentation.David Aspinall
2002-08-31Improved implementation of zap-commas font lock behaviour, patch from Stefan ...David Aspinall
2002-08-31Test inhibit-read-onlyDavid Aspinall
2002-08-31CommentsDavid Aspinall
2002-08-31Try to reduce contrast for highlighting faceDavid Aspinall
2002-08-30Updated.David Aspinall
2002-08-30GNU Emacs: avoid using own-clipboardDavid Aspinall
2002-08-30Tidy displayDavid Aspinall
2002-08-30Updated.David Aspinall
2002-08-30Switch to using new parser by default. Disable fly-past-comments by default.David Aspinall
2002-08-30Set version tag for new release.David Aspinall
2002-08-30Dont restore window config if it seems like a different frame was used.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 08:56:52 +0000