proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	bug fixing in matching theorem dependencies	David Aspinall	2000-07-19
\|
*	functions for manipulating theorem dependencies	David Aspinall	2000-07-19
\|
*	changes to add theorem dependencies recording in spans	David Aspinall	2000-07-19
\|
*	Set version tag for new release.	David Aspinall	2000-07-16
\|
*	Set version tag for new release.	David Aspinall	2000-07-13
\|
*	Set version tag for new release.	David Aspinall	2000-07-12
\|
*	Update autoloads.	David Aspinall	2000-07-12
\|
*	Make proof-splash-message autoload.	David Aspinall	2000-07-12
\|
*	Set version tag for new release.	David Aspinall	2000-07-05
\|
*	Set version tag for new release.	David Aspinall	2000-07-04
\|
*	Set version tag for new release.	David Aspinall	2000-07-03
\|
*	Set version tag for new release.	David Aspinall	2000-06-29
\|
*	Set version tag for new release.	David Aspinall	2000-06-27
\|
*	Minor tweak.	David Aspinall	2000-06-27
\|
*	Fix mark buffer atomic problem (caused multiple file oddity with Isar), for ↵	David Aspinall	2000-06-26
\| \| \| \|	new parsing functions.
*	Set version tag for new release.	David Aspinall	2000-06-22
\|
*	Remove modeline from extra frames (in XEmacs).	David Aspinall	2000-06-22
\|
*	Added back defconsts for face names needed for FSF Emacs.	David Aspinall	2000-06-22
\| \| \| \|	Yet another annoyance with FSF.
*	Set version tag for new release.	David Aspinall	2000-06-19
\|
*	proof-script-find-next-entity: support list of match items;	Makarius Wenzel	2000-06-16
\| \| \| \| \| \|	replaced spurious re-search-forward by proof-re-search-forward; proof-script-important-settings: commented out proof-goal-with-hole-regexp, proof-save-with-hole-regexp;
*	proof-script-next-entity-regexps: admit list of MATCHNOS;	Makarius Wenzel	2000-06-16
\|
*	Set version tag for new release.	David Aspinall	2000-06-16
\|
*	Added pgcustom x-symbol-language to allow different language name than proof ↵	David Aspinall	2000-06-16
\| \| \| \|	assistant
*	Support toolbar in gtk-xemacs	David Aspinall	2000-06-15
\|
*	More comments at top of file	David Aspinall	2000-06-15
\|
*	Improved some docstrings.	David Aspinall	2000-06-15
\| \| \| \| \| \|	Simplified face configuration by using auxiliary macro. Now also works for gtk-xemacs. Experimented with removing spurious face alias constants.
*	Strange ? got in by accident.	David Aspinall	2000-06-09
\|
*	Set version tag for new release.	David Aspinall	2000-06-09
\|
*	Comment	David Aspinall	2000-06-09
\|
*	Remove toolbar and menubar from windows in multiple frame mode.	David Aspinall	2000-06-09
\|
*	rewrote code from scratch: faster, easier to configure; now enabled by default;	Makarius Wenzel	2000-06-08
\|
*	settings for new indentation setup;	Makarius Wenzel	2000-06-08
\|
*	added proof-looking-at-safe, proof-looking-at-syntactic-context;	Makarius Wenzel	2000-06-08
\| \| \| \|	removed proof-indent-commands-regexp;
*	Set version tag for new release.	David Aspinall	2000-06-06
\|
*	Added special hack for Isar to include proof-terminal-char in sent string.	David Aspinall	2000-06-06
\|
*	fixed proof-anchor-regexp: use \` instead of ^;	Makarius Wenzel	2000-06-05
\| \| \| \|	added proof-no-regexp;
*	Added miscellaneous commands section, with proof-display-some-buffers	David Aspinall	2000-06-05
\| \| \| \| \| \| \|	function. Bind C-c C-l to proof-display-some-buffers, add to buffer menu. Move start/exit to proof assistant specific menu. Added proof-next-error to menu.
*	proof-clean-buffer: clear next error flag if buffer is response.	David Aspinall	2000-06-05
\|
*	Tweaked some docstrings.	David Aspinall	2000-06-05
\| \| \| \| \|	Added proof-shell-next-error-regexp and friends. Bind proof-shell-next-error in proof-universal-keys.
*	Added proof-next-error.	David Aspinall	2000-06-05
\| \| \| \| \|	proof-shell-invisible-command: add terminator if it seems to be missing (after all: it's useful for users with C-c C-v).
*	Updated to add proof-next-error.	David Aspinall	2000-06-05
\|
*	proof-segment-up-to-cmdstart/end: use proof-re-search, proof-looking-at!	Makarius Wenzel	2000-06-04
\|
*	proof-re-search-forward/backward: observe proof-case-fold-search;	Makarius Wenzel	2000-06-04
\|
*	proof-segment-up-to-cmdstart: exclude leading blanks from command string;	Makarius Wenzel	2000-06-04
\|
*	improved proof-segment-up-to-cmdstart: handle overlap of command	Makarius Wenzel	2000-06-03
\| \| \| \|	prefix and comment/string (e.g. { vs {* in Isar);
*	Set version tag for new release.	David Aspinall	2000-06-01
\|
*	Updated	David Aspinall	2000-06-01
\|
*	Added autoload	David Aspinall	2000-06-01
\|
*	Allow two strings for boolean settings to handle non-uniformity in Coq	David Aspinall	2000-06-01
\|
*	Use proof-running-on-XEmacs variable.	David Aspinall	2000-06-01
\|