aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* CommentsGravatar David Aspinall2002-01-16
* Also bury trace bufferGravatar David Aspinall2002-01-16
* Only create trace buffer if liable to be used. Remove experimental spill-out...Gravatar David Aspinall2002-01-16
* Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookGravatar David Aspinall2002-01-16
* Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpGravatar David Aspinall2002-01-16
* Also put trace buffer in x sym modeGravatar David Aspinall2002-01-15
* Remove defunct codeGravatar David Aspinall2002-01-15
* Set version tag for new release.Gravatar David Aspinall2002-01-15
* windows-of-buffer -> get-buffer-window-list GNU nameGravatar David Aspinall2002-01-15
* Inspect quit-flag when displaying tracing output; send an interrupt to the pr...Gravatar David Aspinall2002-01-15
* Redisplay during tracing output on XEmacsGravatar David Aspinall2002-01-15
* Set version tag for new release.Gravatar David Aspinall2002-01-11
* fixed spelling;Gravatar Makarius Wenzel2001-12-27
* Set version tag for new release.Gravatar David Aspinall2001-12-11
* Protect XEmacs only codeGravatar David Aspinall2001-12-11
* Fix test for GNU 21Gravatar David Aspinall2001-12-11
* Change to font-lock support routines.Gravatar David Aspinall2001-12-11
* Disable customize-menu-create for Emacs 21.Gravatar David Aspinall2001-12-11
* Rework font-lock variable munging to work in GNU Emacs 21 also.Gravatar David Aspinall2001-12-11
* Missing parenGravatar David Aspinall2001-12-11
* Remove double setting, leave test setting in.Gravatar David Aspinall2001-12-11
* Simplify -goals-config-done and -response-config-done to use current buffer. ...Gravatar David Aspinall2001-12-11
* Added proof-trace-output-fontify-enableGravatar David Aspinall2001-12-11
* Add support for toolbars on Emacs 21.Gravatar David Aspinall2001-12-11
* Add support for Emacs 21 image display.Gravatar David Aspinall2001-12-11
* Add proof-running-on-Emacs21 flag.Gravatar David Aspinall2001-12-11
* Allow toolbar toggle for GNU Emacs 21.Gravatar David Aspinall2001-12-11
* Toolbar allowed in GNU Emacs 21Gravatar David Aspinall2001-12-11
* Add proof-emacs-imagep function for GNU Emacs 21.Gravatar David Aspinall2001-12-11
* Add handling of proof-trace-buffer.Gravatar David Aspinall2001-12-10
* Added proof-trace-buffer.Gravatar David Aspinall2001-12-10
* Dont return a fontified string in proof-response-buffer-display.Gravatar David Aspinall2001-12-10
* proof-release-lock: do not touch proof-shell-spill-output-buffer;Gravatar Makarius Wenzel2001-12-05
* Set version tag for new release.Gravatar David Aspinall2001-12-04
* Set version tag for new release.Gravatar David Aspinall2001-10-08
* Fix fudged enabler to call button function interactively.Gravatar David Aspinall2001-10-04
* fixed spelling;Gravatar Makarius Wenzel2001-09-26
* Set version tag for new release.Gravatar David Aspinall2001-09-24
* Fix error in docs of stop-silent-command, and name of pre-shell-start-hook.Gravatar David Aspinall2001-09-24
* Implement Robert Schnecks idea to help Coq display whole of goals output.Gravatar David Aspinall2001-09-24
* Set version tag for new release.Gravatar David Aspinall2001-09-13
* Set version tag for new release.Gravatar David Aspinall2001-09-10
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-09
* Set version tag for new release.Gravatar David Aspinall2001-09-05
* IncompleteGravatar David Aspinall2001-09-05
* Add keybindings for new commands for moving/navigating spans.Gravatar David Aspinall2001-09-05
* Fix problem with C-x C-v by copying buffer-file-name. Add children property t...Gravatar David Aspinall2001-09-05
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-18 15:07:40 +0000