aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Set version tag for new release.Gravatar David Aspinall1998-12-16
* Removed info file name space, again, arrgggh.Gravatar David Aspinall1998-12-16
* Added back space in info file nameGravatar David Aspinall1998-12-16
* Set version tag for new release.Gravatar David Aspinall1998-12-16
* Reverted to previous semanticsGravatar David Aspinall1998-12-16
* Made delete-region arg optional for proof-retract-until-point-interactive.Gravatar David Aspinall1998-12-16
* Removed space from ProofGeneral name.Gravatar David Aspinall1998-12-16
* Set version tag for new release.Gravatar Thomas Kleymann1998-12-16
* Set version tag for new release.Gravatar Thomas Kleymann1998-12-16
* Tweaked docstring for C-c C-u.Gravatar David Aspinall1998-12-16
* rationalised keybinding (again)Gravatar Thomas Kleymann1998-12-16
* improved default keybindingsGravatar Thomas Kleymann1998-12-16
* Added GPL license (I wrote this at home).Gravatar David Aspinall1998-12-16
* Fixed default for proof-shell-quit-cmd.Gravatar David Aspinall1998-12-16
* Set version tag for new release.Gravatar David Aspinall1998-12-15
* Used authorized keywords.Gravatar David Aspinall1998-12-15
* Docstring fix.Gravatar David Aspinall1998-12-15
* Docstring fixesGravatar David Aspinall1998-12-15
* Docstring fixGravatar David Aspinall1998-12-15
* Another todo idea added. This version sent to Emacs news groups.Gravatar David Aspinall1998-12-15
* Idea for magical texi-docstring property for symbols to escape auto markup.Gravatar David Aspinall1998-12-15
* Documented markup rules and usage at start of package.Gravatar David Aspinall1998-12-15
* Improved documentation of proof-included-files-list.Gravatar David Aspinall1998-12-15
* Removed bogus duplicate call of proof-mode-hook at end of proof-config-done.Gravatar David Aspinall1998-12-15
* Fixes for FSF Emacs handling of processes, kill buffer hooks,Gravatar David Aspinall1998-12-15
* made many minor changes to the documentationGravatar Thomas Kleymann1998-12-15
* Gave up on buggy Emacs 19 support, now give error for Emacs 19.Gravatar David Aspinall1998-12-14
* Reordered require of cl. Changed deflocal definition.Gravatar David Aspinall1998-12-14
* Set version tag for new release.Gravatar David Aspinall1998-12-11
* Disabled hack for proof-shell-process-file which allowedGravatar David Aspinall1998-12-11
* CommentsGravatar David Aspinall1998-12-11
* Allow even the current scripting buffer to be marked atomicallyGravatar David Aspinall1998-12-11
* Several changes:Gravatar David Aspinall1998-12-11
* Added submit bug report to proof-shared-menuGravatar David Aspinall1998-12-11
* Tweaked headings for bug reportGravatar David Aspinall1998-12-11
* Added proof-submit-bug-reportGravatar David Aspinall1998-12-11
* Removed check for proof script buffer from retraction enabler.Gravatar David Aspinall1998-12-11
* Fixed typo.Gravatar David Aspinall1998-12-11
* Fixed bug where proof-activate-scripting nuked locked regions.Gravatar David Aspinall1998-12-11
* Removed proof-send, now use proof-shell-insert instead.Gravatar David Aspinall1998-12-11
* Removed proof-shell-preprocess-command. Improved docstring for proof-shell-i...Gravatar David Aspinall1998-12-11
* Disabled span-making part of proof-shell-analyse structure for Emacs 20.3Gravatar David Aspinall1998-12-11
* Made point stay at top of goals buffer and bottom of response bufferGravatar David Aspinall1998-12-10
* Changed name of proof-toolbar-inhibit variable for uniformity.Gravatar David Aspinall1998-12-10
* Offer to save script mode buffers which have no files,Gravatar David Aspinall1998-12-10
* Patch for case that new script buffer has no filename.Gravatar David Aspinall1998-12-10
* Fix for proof-splash-inhibit = t. Bug report from Paul Callaghan.Gravatar David Aspinall1998-12-10
* o special characters are no longer displayed in (16Bit) FSF GNU EmacsGravatar Thomas Kleymann1998-12-08
* Set version tag for new release.Gravatar David Aspinall1998-12-07
* Added proof-shell-preprocess-command for Paul Callaghan.Gravatar David Aspinall1998-12-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 17:13:16 +0000