aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
1999-02-01Set version tag for new release.David Aspinall
1999-02-01Improved docstringDavid Aspinall
1999-02-01Used proof-string-match for matching against proof script.David Aspinall
1999-02-01Added proof-string-matchDavid Aspinall
1999-02-01Added proof-case-fold-searchDavid Aspinall
1999-01-15Set version tag for new release.David Aspinall
1999-01-15Experimental bug fix for Solaris problemDavid Aspinall
1999-01-12Set version tag for new release.David Aspinall
1998-12-18Missing bracket.David Aspinall
1998-12-18Set version tag for new release.David Aspinall
1998-12-18Beginnings of x-symbol support.David Aspinall
1998-12-18Added proof-assistant-symbolDavid Aspinall
1998-12-17Set version tag for new release.David Aspinall
1998-12-17Set version tag for new release.David Aspinall
1998-12-17Set version tag for new release.David Aspinall
1998-12-17Updated docstring.David Aspinall
1998-12-17Removed a todo. This version submitted for Texinfo.David Aspinall
1998-12-17Newline after first sentence. Submitted for Texinfo distribution.David Aspinall
1998-12-16Set version tag for new release.David Aspinall
1998-12-16Removed info file name space, again, arrgggh.David Aspinall
1998-12-16Added back space in info file nameDavid Aspinall
1998-12-16Set version tag for new release.David Aspinall
1998-12-16Reverted to previous semanticsDavid Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-14 03:53:30 +0000