aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* 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
* Set version tag for new release.Gravatar David Aspinall2000-02-24
* Set version tag for new release.Gravatar David Aspinall2000-02-17
* Set version tag for new release.Gravatar David Aspinall2000-02-15
* New canonical URL for PG.Gravatar David Aspinall2000-02-15
* Set version tag for new release.Gravatar David Aspinall2000-02-09
* Added proof-shell-pre-interrupt-hookGravatar David Aspinall2000-02-09
* Set version tag for new release.Gravatar David Aspinall2000-01-26
* Temporary fix for problem with Emacs 20.5 reported by PierreGravatar David Aspinall2000-01-25
* Set version tag for new release.Gravatar David Aspinall2000-01-20
* Set version tag for new release.Gravatar David Aspinall2000-01-12
* Attempted fix for thy-mode X-Symbol problems. Still buggy.Gravatar David Aspinall2000-01-12
* Set version tag for new release.Gravatar David Aspinall2000-01-06
* Set version tag for new release.Gravatar David Aspinall1999-12-16
* Set version tag for new release.Gravatar David Aspinall1999-12-14
* Set version tag for new release.Gravatar David Aspinall1999-12-13
* Set version tag for new release.Gravatar David Aspinall1999-12-03
* Set version tag for new release.Gravatar David Aspinall1999-12-01
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
* Set version tag for new release.Gravatar David Aspinall1999-11-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-08 14:04:18 +0000