proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Added keybinding, improved doc for ↵	David Aspinall	2000-03-19
\| \| \| \|	proof-undo-and-delete-last-successful-command.
*	Added menu entry for proof-undo-and-delete-last-successful-command	David Aspinall	2000-03-19
\|
*	proof-assistant-table: fixed spelling of comment;	Makarius Wenzel	2000-03-17
\|
*	Set version tag for new release.	David Aspinall	2000-03-14
\|
*	Added proof-shell-{start,stop}-silent-cmd.	David Aspinall	2000-03-14
\|
*	Set version tag for new release.	David Aspinall	2000-03-13
\|
*	Added return value for proof-shell-maybe-erase-response. Bug report msg.	David Aspinall	2000-03-13
\|
*	Comment about proof-goals-display-qed-message mess.	David Aspinall	2000-03-13
\|
*	Added proof-boring-face (default appearance is same as proof-debug-face). ↵	David Aspinall	2000-03-13
\| \| \| \|	Comment.
*	Set version tag for new release.	David Aspinall	2000-03-10
\|
*	Added mechanism for setting font-lock-keywords uniformly from	David Aspinall	2000-03-10
\| \| \| \| \|	proof-script-font-lock-keywords, and modifying syntax table with proof-script-modify-syntax-table, etc.
*	Use name of proof assistant in menu.	David Aspinall	2000-03-10
\|
*	Names of shell, goals, script buffers now based on proof assistant name	David Aspinall	2000-03-10
\|
*	Comment.	David Aspinall	2000-03-10
\|
*	boundp->fboundp. Fix test for proof-shell-process-connection-type.	David Aspinall	2000-03-10
\|
*	Set version tag for new release.	David Aspinall	2000-03-09
\|
*	Detect default for proof-shell-process-connection-type by running uname	David Aspinall	2000-03-09
\|
*	Added proof-shell-process-connection-type.	David Aspinall	2000-03-09
\|
*	Added support for HOL98 PG.	David Aspinall	2000-03-09
\|
*	Edited a tooltip.	David Aspinall	2000-03-09
\|
*	Added README files for each prover, summarizing status.	David Aspinall	2000-03-09
\|
*	Set version tag for new release.	David Aspinall	2000-03-08
\|
*	Fix to warn function to use format args.	David Aspinall	2000-03-08
\|
*	Fix to uses of dolist for compatibility with Japan Emacs versions (older CLmacs)	David Aspinall	2000-03-08
\|
*	Set version tag for new release.	David Aspinall	2000-03-01
\|
*	Set version tag for new release.	David Aspinall	2000-02-29
\|
*	Forced process-connection-type always to nil, after all. May not be an ↵	David Aspinall	2000-02-29
\| \| \| \|	issue with non-mule FSF Emacs (that was something different).
*	Set version tag for new release.	David Aspinall	2000-02-28
\|
*	Added back ^G fix for Solaris, but not for non-mule FSF.	David Aspinall	2000-02-28
\|
*	Add definition of warn function for FSF compatibility.	David Aspinall	2000-02-28
\|
*	Set version tag for new release.	David Aspinall	2000-02-24
\|
*	Set version tag for new release.	David Aspinall	2000-02-17
\|
*	Set version tag for new release.	David Aspinall	2000-02-15
\|
*	New canonical URL for PG.	David Aspinall	2000-02-15
\|
*	Set version tag for new release.	David Aspinall	2000-02-09
\|
*	Added proof-shell-pre-interrupt-hook	David Aspinall	2000-02-09
\|
*	Set version tag for new release.	David Aspinall	2000-01-26
\|
*	Temporary fix for problem with Emacs 20.5 reported by Pierre	David Aspinall	2000-01-25
\|
*	Set version tag for new release.	David Aspinall	2000-01-20
\|
*	Set version tag for new release.	David Aspinall	2000-01-12
\|
*	Attempted fix for thy-mode X-Symbol problems. Still buggy.	David Aspinall	2000-01-12
\|
*	Set version tag for new release.	David Aspinall	2000-01-06
\|
*	Set version tag for new release.	David Aspinall	1999-12-16
\|
*	Set version tag for new release.	David Aspinall	1999-12-14
\|
*	Set version tag for new release.	David Aspinall	1999-12-13
\|
*	Set version tag for new release.	David Aspinall	1999-12-03
\|
*	Set version tag for new release.	David Aspinall	1999-12-01
\|
*	Set version tag for new release.	David Aspinall	1999-11-30
\|
*	Set version tag for new release.	David Aspinall	1999-11-30
\|
*	Set version tag for new release.	David Aspinall	1999-11-30
\|