aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Generalise proof-def-invisible.Gravatar David Aspinall2004-06-13
* Adjust colours to a lighter scheme.Gravatar David Aspinall2004-06-13
* Reinstate escapes for @ { }Gravatar David Aspinall2004-06-04
* Set version tag for new release.Gravatar David Aspinall2004-06-04
* proof-goto-end-of-locked: add push-mark; fix: goto end of locked even ifGravatar David Aspinall2004-06-03
* Fixup problem with whitespace being left after texi comments (reason:Gravatar David Aspinall2004-05-06
* Allow tracing slow mode to last 2 seconds. Make message more understandable.Gravatar David Aspinall2004-04-27
* condition-case -> unwind-protectGravatar David Aspinall2004-04-27
* Add optional (prefix) arg to proof-layout-windows.Gravatar David Aspinall2004-04-27
* Make response buffer hint shorterGravatar David Aspinall2004-04-27
* Add compatibility hack for Emacs 21.2.1 customize-menu-createGravatar David Aspinall2004-04-26
* Allow proof-goto-end-of-locked to work again if no active scripting buffer.Gravatar David Aspinall2004-04-26
* Allow CMD to be nil in proof-shell-invisible-command (failsafe).Gravatar David Aspinall2004-04-26
* Set version tag for new release.Gravatar David Aspinall2004-04-24
* Add proof-shell-require-command-regexp, proof-done-advancing-require-functionGravatar David Aspinall2004-04-24
* Add proof-save-some-buffersGravatar David Aspinall2004-04-22
* Add proof-deactivate-scripting-hookGravatar David Aspinall2004-04-22
* Add proof-deactivate-scripting-hook. Also note activate-script-hook is no lo...Gravatar David Aspinall2004-04-22
* Allow empty :setting, :eval in defpacustom.Gravatar David Aspinall2004-04-22
* Set version tag for new release.Gravatar David Aspinall2004-04-21
* Set version tag for new release.Gravatar David Aspinall2004-04-18
* Set version tag for new release.Gravatar David Aspinall2004-04-18
* Set version tag for new release.Gravatar David Aspinall2004-04-18
* Obey proof-eagerly-raise in proof-layout-windows.Gravatar David Aspinall2004-04-18
* Add proof-eagerly-raise setting, disable it for trace buffer.Gravatar David Aspinall2004-04-18
* Try to stop proof-delete-other-frames from bringing up newGravatar David Aspinall2004-04-18
* Try to stop frame proliferation: let proof-shell-start make frames,Gravatar David Aspinall2004-04-18
* Add save-selected-frame for GNU EmacsGravatar David Aspinall2004-04-18
* Comments.Gravatar David Aspinall2004-04-18
* Remove faulty compatiblity for XE 21.1Gravatar David Aspinall2004-04-18
* Set version tag for new release.Gravatar David Aspinall2004-04-17
* Set version tag for new release.Gravatar David Aspinall2004-04-17
* Set version tag for new release.Gravatar David Aspinall2004-04-17
* Minor changes to avoid some compiler warningsGravatar David Aspinall2004-04-17
* Fix bug in replace-in-string for GNU EmacsGravatar David Aspinall2004-04-17
* Clarify that it is right to query saves in proof-retract-until-point's callGravatar David Aspinall2004-04-17
* Oops, remove junk.Gravatar David Aspinall2004-04-17
* Escape the string from substitute-command-keys in proof-defshortcut, proof-de...Gravatar David Aspinall2004-04-17
* Comments.Gravatar David Aspinall2004-04-17
* Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...Gravatar David Aspinall2004-04-17
* Add proof-cannot-reopen-processed-files to fix behaviour of multiple files fo...Gravatar David Aspinall2004-04-17
* Capitalization.Gravatar David Aspinall2004-04-17
* Lighter background colour for proof-error-faceGravatar David Aspinall2004-04-17
* Add boundp check to proof-map-multiple-frame-specifiers, for some back compat...Gravatar David Aspinall2004-04-16
* Spurious "'sGravatar David Aspinall2004-04-16
* Set version tag for new release.Gravatar David Aspinall2004-04-16
* Comments.Gravatar David Aspinall2004-04-15
* Comment out pg-customize-menu-createGravatar David Aspinall2004-04-15
* Gerwins bug had snuck back in. Reenable customize menus for GNU EmacsGravatar David Aspinall2004-04-15
* Change error face to firebrick (again)Gravatar David Aspinall2004-04-15
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-25 03:56:56 +0000