aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2002-01-16Also bury trace bufferDavid Aspinall
2002-01-16Only create trace buffer if liable to be used. Remove experimental ↵David Aspinall
spill-output style tracing code.
2002-01-16Set proof-shell-trace-output-regexp in proof-pre-shell-start-hookDavid Aspinall
2002-01-16Rename proof-shell-spill-output-regexp -> proof-shell-trace-output-regexpDavid Aspinall
2002-01-15Also put trace buffer in x sym modeDavid Aspinall
2002-01-15Remove defunct codeDavid Aspinall
2002-01-15Set version tag for new release.David Aspinall
2002-01-15windows-of-buffer -> get-buffer-window-list GNU nameDavid Aspinall
2002-01-15Inspect quit-flag when displaying tracing output; send an interrupt to the ↵David Aspinall
prover if set.
2002-01-15Redisplay during tracing output on XEmacsDavid Aspinall
2002-01-11Set version tag for new release.David Aspinall
2001-12-27fixed spelling;Makarius Wenzel
2001-12-11Set version tag for new release.David Aspinall
2001-12-11Protect XEmacs only codeDavid Aspinall
2001-12-11Fix test for GNU 21David Aspinall
2001-12-11Change to font-lock support routines.David Aspinall
2001-12-11Disable customize-menu-create for Emacs 21.David Aspinall
2001-12-11Rework font-lock variable munging to work in GNU Emacs 21 also.David Aspinall
2001-12-11Missing parenDavid Aspinall
2001-12-11Remove double setting, leave test setting in.David Aspinall
2001-12-11Simplify -goals-config-done and -response-config-done to use current buffer. ↵David Aspinall
Kill trace buffer with other associated buffers, and set specifiers similarly for multiple frames.
2001-12-11Added proof-trace-output-fontify-enableDavid Aspinall
2001-12-11Add support for toolbars on Emacs 21.David Aspinall
2001-12-11Add support for Emacs 21 image display.David Aspinall
2001-12-11Add proof-running-on-Emacs21 flag.David Aspinall
2001-12-11Allow toolbar toggle for GNU Emacs 21.David Aspinall
2001-12-11Toolbar allowed in GNU Emacs 21David Aspinall
2001-12-11Add proof-emacs-imagep function for GNU Emacs 21.David Aspinall
2001-12-10Add handling of proof-trace-buffer.David Aspinall
2001-12-10Added proof-trace-buffer.David Aspinall
2001-12-10Dont return a fontified string in proof-response-buffer-display.David Aspinall
2001-12-05proof-release-lock: do not touch proof-shell-spill-output-buffer;Makarius Wenzel
proof-shell-spill-output-begin: reuse existing buffer;
2001-12-04Set version tag for new release.David Aspinall
2001-10-08Set version tag for new release.David Aspinall
2001-10-04Fix fudged enabler to call button function interactively.David Aspinall
2001-09-26fixed spelling;Makarius Wenzel
2001-09-24Set version tag for new release.David Aspinall
2001-09-24Fix error in docs of stop-silent-command, and name of pre-shell-start-hook.David Aspinall
2001-09-24Implement Robert Schnecks idea to help Coq display whole of goals output.David Aspinall
2001-09-13Set version tag for new release.David Aspinall
2001-09-10Set version tag for new release.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-09Set version tag for new release.David Aspinall
2001-09-05Set version tag for new release.David Aspinall
2001-09-05IncompleteDavid Aspinall
2001-09-05Add keybindings for new commands for moving/navigating spans.David Aspinall
2001-09-05Fix problem with C-x C-v by copying buffer-file-name. Add children property ↵David Aspinall
to control spans.
2001-09-05Improved span moving and navigation commands.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-13 15:43:09 +0000