aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
1998-12-16Made delete-region arg optional for proof-retract-until-point-interactive.David Aspinall
1998-12-16Removed space from ProofGeneral name.David Aspinall
1998-12-16Set version tag for new release.Thomas Kleymann
1998-12-16Set version tag for new release.Thomas Kleymann
1998-12-16Tweaked docstring for C-c C-u.David Aspinall
1998-12-16rationalised keybinding (again)Thomas Kleymann
1998-12-16improved default keybindingsThomas Kleymann
1998-12-16Added GPL license (I wrote this at home).David Aspinall
1998-12-16Fixed default for proof-shell-quit-cmd.David Aspinall
1998-12-15Set version tag for new release.David Aspinall
1998-12-15Used authorized keywords.David Aspinall
1998-12-15Docstring fix.David Aspinall
1998-12-15Docstring fixesDavid Aspinall
1998-12-15Docstring fixDavid Aspinall
1998-12-15Another todo idea added. This version sent to Emacs news groups.David Aspinall
1998-12-15Idea for magical texi-docstring property for symbols to escape auto markup.David Aspinall
1998-12-15Documented markup rules and usage at start of package.David Aspinall
1998-12-15Improved documentation of proof-included-files-list.David Aspinall
1998-12-15Removed bogus duplicate call of proof-mode-hook at end of proof-config-done.David Aspinall
1998-12-15Fixes for FSF Emacs handling of processes, kill buffer hooks,David Aspinall
1998-12-15made many minor changes to the documentationThomas Kleymann
1998-12-14Gave up on buggy Emacs 19 support, now give error for Emacs 19.David Aspinall
1998-12-14Reordered require of cl. Changed deflocal definition.David Aspinall
1998-12-11Set version tag for new release.David Aspinall
1998-12-11Disabled hack for proof-shell-process-file which allowedDavid Aspinall
1998-12-11CommentsDavid Aspinall
1998-12-11Allow even the current scripting buffer to be marked atomicallyDavid Aspinall
1998-12-11Several changes:David Aspinall
1998-12-11Added submit bug report to proof-shared-menuDavid Aspinall
1998-12-11Tweaked headings for bug reportDavid Aspinall
1998-12-11Added proof-submit-bug-reportDavid Aspinall
1998-12-11Removed check for proof script buffer from retraction enabler.David Aspinall
1998-12-11Fixed typo.David Aspinall
1998-12-11Fixed bug where proof-activate-scripting nuked locked regions.David Aspinall
1998-12-11Removed proof-send, now use proof-shell-insert instead.David Aspinall
1998-12-11Removed proof-shell-preprocess-command. Improved docstring for proof-shell-i...David Aspinall
1998-12-11Disabled span-making part of proof-shell-analyse structure for Emacs 20.3David Aspinall
1998-12-10Made point stay at top of goals buffer and bottom of response bufferDavid Aspinall
1998-12-10Changed name of proof-toolbar-inhibit variable for uniformity.David Aspinall
1998-12-10Offer to save script mode buffers which have no files,David Aspinall
1998-12-10Patch for case that new script buffer has no filename.David Aspinall
1998-12-10Fix for proof-splash-inhibit = t. Bug report from Paul Callaghan.David Aspinall
1998-12-08o special characters are no longer displayed in (16Bit) FSF GNU EmacsThomas Kleymann
1998-12-07Set version tag for new release.David Aspinall
1998-12-07Added proof-shell-preprocess-command for Paul Callaghan.David Aspinall
1998-11-26Set version tag for new release.David Aspinall
1998-11-26BUG fix: proof-shell-message with str's containing format characters.David Aspinall
1998-11-26Format fixDavid Aspinall
1998-11-26Added proof-shell-clear-goals-regexp.David Aspinall
1998-11-26Warning in proof-shell-insert-hook docstrings.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-09 08:56:38 +0000