aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Next iteration: add post-processing step, descriptions in haspref.Gravatar David Aspinall2002-11-14
* Disable message display when parsing xml strings.Gravatar David Aspinall2002-11-14
* Add proof-assistant-menu-update, allow redefine of setting in pacustom.Gravatar David Aspinall2002-11-14
* Tweak calling of pg-pgip processing commands.Gravatar David Aspinall2002-11-14
* Add proof-shell-issue-pgip-cmdGravatar David Aspinall2002-11-14
* Erase buffer in kill action. Tweak proof-debug arguments.Gravatar David Aspinall2002-11-14
* Fix to proof-shell-handle-output (or rather, to setting of proof-shell-last-o...Gravatar David Aspinall2002-11-13
* Set version tag for new release.Gravatar David Aspinall2002-11-11
* (Failed) Attempt to fix UTF-8 problem for RH8.Gravatar David Aspinall2002-11-11
* Set version tag for new release.Gravatar David Aspinall2002-11-08
* Debuggin pg-pgip-haspref.Gravatar David Aspinall2002-11-07
* Add subst-char-in-string (Monnier patch) for XEmacs.Gravatar David Aspinall2002-11-07
* Patch from Stefan Monnier to attempt to handle multi-line inputs in Coq; plus...Gravatar David Aspinall2002-11-07
* Updated.Gravatar David Aspinall2002-11-07
* Set version tag for new release.Gravatar David Aspinall2002-09-16
* New files.Gravatar David Aspinall2002-09-14
* Change to proof-shell-ready-prover to allow more flexible queue handlingGravatar David Aspinall2002-09-14
* CommentsGravatar David Aspinall2002-09-14
* Comment on display anomalyGravatar David Aspinall2002-09-13
* set-specifier -> remove-specifier as per XEmacs docs.Gravatar David Aspinall2002-09-13
* Fix typo.Gravatar David Aspinall2002-09-11
* Save more space/fix display anomolay by leaving point at end of non-whitespaceGravatar David Aspinall2002-09-11
* Short-circuit goals display if string empty.Gravatar David Aspinall2002-09-11
* Don't insert blank line at top of response buffer.Gravatar David Aspinall2002-09-11
* Fix proof-quick-opts-save to match menuGravatar David Aspinall2002-09-11
* Set version tag for new release.Gravatar David Aspinall2002-09-11
* Attempt to improve window shrinking. Still needs work.Gravatar David Aspinall2002-09-11
* Redisplay for gnuemacs on visibility changes. Small parser tweak. Comments.Gravatar David Aspinall2002-09-11
* Add :visible support. Minor reorganisation.Gravatar David Aspinall2002-09-11
* Support for new proof-shrink-windows-tofit option.Gravatar David Aspinall2002-09-11
* Begin support for thms bufferGravatar David Aspinall2002-09-11
* Add proof-shrink-windows-tofit option.Gravatar David Aspinall2002-09-11
* Emulate :visible keywordGravatar David Aspinall2002-09-11
* Missing parenGravatar David Aspinall2002-09-11
* Docstrings, setting for thms bufferGravatar David Aspinall2002-09-04
* Begin adding code for thms bufferGravatar David Aspinall2002-09-04
* Add proof-thms-bufferGravatar David Aspinall2002-09-04
* only hack proof-info-directory if it exists (doesnt for RPM version)Gravatar David Aspinall2002-09-04
* generic/proof-menu: move electric terminator, show specific; Help menu items ...Gravatar David Aspinall2002-09-04
* Set version tag for new release.Gravatar David Aspinall2002-08-31
* Documentation.Gravatar David Aspinall2002-08-31
* Improved implementation of zap-commas font lock behaviour, patch from Stefan ...Gravatar David Aspinall2002-08-31
* Test inhibit-read-onlyGravatar David Aspinall2002-08-31
* CommentsGravatar David Aspinall2002-08-31
* Try to reduce contrast for highlighting faceGravatar David Aspinall2002-08-31
* Updated.Gravatar David Aspinall2002-08-30
* GNU Emacs: avoid using own-clipboardGravatar David Aspinall2002-08-30
* Tidy displayGravatar David Aspinall2002-08-30
* Updated.Gravatar David Aspinall2002-08-30
* Switch to using new parser by default. Disable fly-past-comments by default.Gravatar David Aspinall2002-08-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-27 16:23:33 +0000