aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Add some colours for mswindows in deffaces.Gravatar David Aspinall2000-03-24
* Obscure end of internal input stream problem solved.Gravatar David Aspinall2000-03-24
* Set version tag for new release.Gravatar David Aspinall2000-03-24
* Set version tag for new release.Gravatar David Aspinall2000-03-23
* Set version tag for new release.Gravatar David Aspinall2000-03-23
* Let Windows use the toolbar too.Gravatar David Aspinall2000-03-23
* Set version tag for new release.Gravatar David Aspinall2000-03-22
* Fix for activating multiple frames when no active scripting buffer.Gravatar David Aspinall2000-03-22
* Bug fix for electric terminator used inside locked region.Gravatar David Aspinall2000-03-22
* Switch back to %s, rename proof-shell-string-escapes -> proof-shell-filename-...Gravatar David Aspinall2000-03-22
* Use proof-format-filename instead of format on cmds with file parameter.Gravatar David Aspinall2000-03-22
* Added todo.Gravatar David Aspinall2000-03-22
* Document use of %e in proof-shell-inform-file-{processed,retracted}-cmd.Gravatar David Aspinall2000-03-22
* docstringGravatar David Aspinall2000-03-22
* Added utility functions proof-format, proof-format-filename.Gravatar David Aspinall2000-03-22
* Mention %e in doc for proof-shell-cd-cmd.Gravatar David Aspinall2000-03-22
* Added new customization: proof-shell-string-escapes.Gravatar David Aspinall2000-03-22
* Set version tag for new release.Gravatar David Aspinall2000-03-19
* Added proof-{mode}-font-lock-keywords configuration settings (used by easy-co...Gravatar David Aspinall2000-03-19
* CommentGravatar David Aspinall2000-03-19
* Added keybinding, improved doc for proof-undo-and-delete-last-successful-comm...Gravatar David Aspinall2000-03-19
* Added menu entry for proof-undo-and-delete-last-successful-commandGravatar David Aspinall2000-03-19
* proof-assistant-table: fixed spelling of comment;Gravatar Makarius Wenzel2000-03-17
* Set version tag for new release.Gravatar David Aspinall2000-03-14
* Added proof-shell-{start,stop}-silent-cmd.Gravatar David Aspinall2000-03-14
* Set version tag for new release.Gravatar David Aspinall2000-03-13
* Added return value for proof-shell-maybe-erase-response. Bug report msg.Gravatar David Aspinall2000-03-13
* Comment about proof-goals-display-qed-message mess.Gravatar David Aspinall2000-03-13
* Added proof-boring-face (default appearance is same as proof-debug-face). Com...Gravatar David Aspinall2000-03-13
* Set version tag for new release.Gravatar David Aspinall2000-03-10
* Added mechanism for setting font-lock-keywords uniformly fromGravatar David Aspinall2000-03-10
* Use name of proof assistant in menu.Gravatar David Aspinall2000-03-10
* Names of shell, goals, script buffers now based on proof assistant nameGravatar David Aspinall2000-03-10
* Comment.Gravatar David Aspinall2000-03-10
* boundp->fboundp. Fix test for proof-shell-process-connection-type.Gravatar David Aspinall2000-03-10
* Set version tag for new release.Gravatar David Aspinall2000-03-09
* Detect default for proof-shell-process-connection-type by running unameGravatar David Aspinall2000-03-09
* Added proof-shell-process-connection-type.Gravatar David Aspinall2000-03-09
* Added support for HOL98 PG.Gravatar David Aspinall2000-03-09
* Edited a tooltip.Gravatar David Aspinall2000-03-09
* Added README files for each prover, summarizing status.Gravatar David Aspinall2000-03-09
* Set version tag for new release.Gravatar David Aspinall2000-03-08
* Fix to warn function to use format args.Gravatar David Aspinall2000-03-08
* Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)Gravatar David Aspinall2000-03-08
* Set version tag for new release.Gravatar David Aspinall2000-03-01
* Set version tag for new release.Gravatar David Aspinall2000-02-29
* Forced process-connection-type always to nil, after all. May not be an issue...Gravatar David Aspinall2000-02-29
* Set version tag for new release.Gravatar David Aspinall2000-02-28
* Added back ^G fix for Solaris, but not for non-mule FSF.Gravatar David Aspinall2000-02-28
* Add definition of warn function for FSF compatibility.Gravatar David Aspinall2000-02-28
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 17:29:34 +0000