proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Adjust proof-script-comment-end to fix comment-end to be empty for ↵	David Aspinall	2004-04-06
\| \| \| \|	end-of-line comments.
*	Set syntax table for comments, turn on fly-past-commetns.	David Aspinall	2004-04-06
\|
*	Comments.	David Aspinall	2004-04-06
\|
*	Trivial instance of PG for shell scripts.	David Aspinall	2004-04-06
\|
*	Added example count undos function (completely untested)	David Aspinall	2004-04-06
\|
*	Added correct instance for proof-goal-command-regexp; makes undo work.	cxl	2004-04-06
\|
*	Another day, another prover:	cxl	2004-04-06
\| \| \| \|	added support for the Casl Consistency Checker (file name extension: .ccc).
*	Updated.	David Aspinall	2004-04-06
\|
*	Set version tag for new release.	David Aspinall	2004-04-05
\|
*	updated CHANGES for Coq	Pierre Courtieu	2004-04-05
\|
*	added coq changes for 3.5 release.	Pierre Courtieu	2004-04-05
\|
*	Fixed the short doc on holes	Pierre Courtieu	2004-04-05
\|
*	Updated.	David Aspinall	2004-04-05
\|
*	Fixed coq x-symbols. now alphaa is not encoded, aalpha is not encoded,	Pierre Courtieu	2004-04-05
\| \| \| \|	but alpha_, _alpha and _alpha_ are decoded.
*	fixed single char sub/super script in goals/response window	Gerwin Klein	2004-04-05
\|
*	new test case for \<^isub>	Gerwin Klein	2004-04-05
\|
*	Update version to 3.5	David Aspinall	2004-04-03
\|
*	More sub/super examples.	David Aspinall	2004-04-02
\|
*	Add extra term test -- shows up current bug	David Aspinall	2004-04-02
\|
*	More comments/test printing.	David Aspinall	2004-04-02
\|
*	Add test of spanning sup/sub	David Aspinall	2004-04-02
\|
*	Updated.	David Aspinall	2004-04-02
\|
*	Set version tag for new release.	David Aspinall	2004-04-02
\|
*	Update magic	David Aspinall	2004-04-02
\|
*	Update documentation of different display modes	David Aspinall	2004-04-02
\|
*	Comments	David Aspinall	2004-04-02
\|
*	Remove/fix some junk	David Aspinall	2004-04-02
\|
*	Use official indentation\!	David Aspinall	2004-04-02
\|
*	Remove three-buffer stuff (made generic)	David Aspinall	2004-04-02
\|
*	Updated.	David Aspinall	2004-04-02
\|
*	Turn on experimental features for 3.5. Adjust display settings.	David Aspinall	2004-04-02
\|
*	Overhaul and fixes for display management.	David Aspinall	2004-04-02
\|
*	Comments	David Aspinall	2004-04-02
\|
*	Use proof-shell-wait; comments.	David Aspinall	2004-04-02
\|
*	More elaborate error messages in proof-easy-config-check-setup.	David Aspinall	2004-04-02
\|
*	Fix proof-shell-wait to not use CPU and observe quit. Add PGIP askprefs to ↵	David Aspinall	2004-04-02
\| \| \| \|	startup.
*	Add various GNU <-> XE compatibility functions for display.	David Aspinall	2004-04-02
\|
*	Comments. Beginning of drag region code.	David Aspinall	2004-04-02
\|
*	changed ths syntax for sub/superscript:	Pierre Courtieu	2004-04-01
\| \| \| \| \| \| \| \| \| \|	- __ makes the following word (if immediately after __) subscript - ^^ makes the following word (if immediately after ^^) superscript - __{...} makes ... subscript - ^^{...} makes ... superscript
*	added subscript in x-symbols-coq.el.	Pierre Courtieu	2004-03-31
\|
*	debugging coq-x-symbols.el	Pierre Courtieu	2004-03-30
\|
*	added the forall x-symbol to the indent keywords lists.	Pierre Courtieu	2004-03-30
\|
*	Trying to put x-symbols for coq. By copying	Pierre Courtieu	2004-03-30
\| \| \| \|	x-symbol-isabelle.el. Seems to work.
*	Updated.	David Aspinall	2004-03-30
\|
*	Adjust proof-shell-annotated-prompt-regexp to match latest Isabelle versions	David Aspinall	2004-03-30
\|
*	Adjust proof-shell-wait to use less CPU w/o timeout	David Aspinall	2004-03-30
\|
*	Add get-window-with-predicate to perhaps solve issue with XEmacs.	David Aspinall	2004-03-30
\|
*	Add proof-assistant-symbol to (spurious) error msg	David Aspinall	2004-03-30
\|
*	generic-find-and-forget: handle proof-forget-id-command not being set	David Aspinall	2004-03-30
\|
*	Mention importance of proof-shell-annotated-prompt-regexp.	David Aspinall	2004-03-30
\|