aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
...
* Began adding generic line-width adjustGravatar David Aspinall2002-05-03
* Set version tag for new release.Gravatar David Aspinall2002-04-23
* Set version tag for new release.Gravatar David Aspinall2002-03-22
* Set version tag for new release.Gravatar David Aspinall2002-03-21
* Year changesGravatar David Aspinall2002-03-21
* Remove toolbar gutters in multiple frame mode. Add proof-shell-truncate-befo...Gravatar David Aspinall2002-03-21
* Dont set type property for proof elements (experiment). Tweak name determina...Gravatar David Aspinall2002-03-21
* Added activations for frame/window controls.Gravatar David Aspinall2002-03-21
* Added proof-shell-truncate-before-error, adjusted proof-toolbar-entries-default.Gravatar David Aspinall2002-03-21
* Added emultation of display-graphic-p for XEmacsGravatar David Aspinall2002-03-21
* Add header to XML docsGravatar David Aspinall2002-03-21
* New files.Gravatar David Aspinall2002-03-21
* added hook: proof-before-fontify-output-hookGravatar Christophe Raffalli2002-03-21
* Add check for Emacs21.Gravatar David Aspinall2002-02-23
* Bug fix in proof-goto-command-end. Decode x-syms in pg-insert-output-as-comm...Gravatar David Aspinall2002-02-23
* Simplify enabling tests to just check window-system. Fix proof-x-symbol-deco...Gravatar David Aspinall2002-02-23
* Updates to font-lock handling in proof-fontify-region, proof-font-lock-clear-...Gravatar David Aspinall2002-02-23
* Set version tag for new release.Gravatar David Aspinall2002-02-14
* Simplify fix for repeated comments (commentre includes whitespace).Gravatar David Aspinall2002-01-31
* Set version tag for new release.Gravatar David Aspinall2002-01-31
* Tweak commentGravatar David Aspinall2002-01-31
* Fix problem noticed with Isar and repeated comments.Gravatar David Aspinall2002-01-31
* Set version tag for new release.Gravatar David Aspinall2002-01-16
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-13 17:32:19 +0000