proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Add support for sending back literal commands reusing PBP markup mechanisms.	David Aspinall	2007-08-14
\|
*	Disable unicode use on LEGO, uses escape prefix	David Aspinall	2007-05-10
\|
*	Deleted file	David Aspinall	2006-09-22
\|
*	Changed the type of proof-goal-command-p. It takes now a span, which	Pierre Courtieu	2006-04-26
\| \| \| \| \| \|	allows using a span attribute to detect goal commands. I think I modified all modes accordingly.
*	Fix lego-shell-adjust-line-width for mutliple frame mode.	David Aspinall	2005-08-14
\|
*	New files.	David Aspinall	2004-04-16
\|
*	Remove X-symbol support from secondary provers temporarily	David Aspinall	2004-04-14
\|
*	Make find-and-forget robust for proverproc regions	David Aspinall	2003-06-05
\|
*	Fix some compile errors	David Aspinall	2003-02-24
\|
*	Improved implementation of zap-commas font lock behaviour, patch from Stefan ↵	David Aspinall	2002-08-31
\| \| \| \|	Monnier
*	Variable name change proof-comment-{start,end}-regexp -> ↵	David Aspinall	2002-07-19
\| \| \| \|	proof-script-comment-{start,end}-regexp.
*	Refactor several variable names; clean up, doc subterm markup and output ↵	David Aspinall	2002-07-16
\| \| \| \|	display.
*	GPL update	David Aspinall	2002-06-21
\|
*	Default to /usr/bin/perl	David Aspinall	2002-06-08
\|
*	Whitespace	David Aspinall	2002-01-16
\|
*	Coq/lego confusion	David Aspinall	2001-09-09
\|
*	Add specific install instrs, rearrange.	David Aspinall	2001-09-03
\|
*	Change of proof span type back to goalsave	David Aspinall	2001-08-28
\|
*	goalsave -> proof	David Aspinall	2000-12-20
\|
*	Note about alternative path to perl	David Aspinall	2000-10-02
\|
*	Make default path to perl be /usr/bin/perl	David Aspinall	2000-09-29
\|
*	Added Uncaught exception errors in coq-error-regexp.	Pierre Courtieu	2000-09-29
\|
*	Add Pierre's tweak	David Aspinall	2000-09-23
\|
*	basic setup for new indentation code;	Makarius Wenzel	2000-06-08
\|
*	Remove spurious requires.	David Aspinall	2000-06-01
\|
*	Removed use of proof-terminal-string, added explicit terminators everywhere.	David Aspinall	2000-05-29
\|
*	Changed keybindings for lego specific functions	David Aspinall	2000-05-29
\|
*	proof-defass-default -> defpgdefault	David Aspinall	2000-05-26
\|
*	Revert to previous path for perl, better default for non-linux. Linux uses ↵	David Aspinall	2000-05-25
\| \| \| \|	RPM, where its fixed.
*	Patch for synchronization problem in Coq, perhaps others.	David Aspinall	2000-05-25
\|
*	Change default path to perl	David Aspinall	2000-05-25
\|
*	Fix buttons must be 3 long error (for 20.4 compatibility)	David Aspinall	2000-05-16
\|
*	Remove proof-assistant-menu-entries, done generically now.	David Aspinall	2000-05-12
\|
*	Fix note.	David Aspinall	2000-05-12
\|
*	Changes and compatibility fixes for specific menu/keybindings.	David Aspinall	2000-05-11
\|
*	Added proof-assistant-keymap and commands for defining insert keys.	David Aspinall	2000-05-02
\|
*	Added specific menu for LEGO.	David Aspinall	2000-05-01
\|
*	Moved from wrong place.	David Aspinall	2000-04-07
\|
*	goals-mode -> pbp-mode	David Aspinall	2000-04-07
\|
*	Extra decoration.	David Aspinall	2000-04-07
\|
*	Fixed up proof-shell-proof-completed mess nicely.	David Aspinall	2000-04-07
\|
*	New/updated information files	David Aspinall	2000-03-13
\|
*	Updated headers.	David Aspinall	2000-03-09
\|
*	Added README files for each prover, summarizing status.	David Aspinall	2000-03-09
\|
*	Added new regexp for recognizing LEGO errors.	David Aspinall	2000-03-08
\|
*	Split low-level todo into several files.	David Aspinall	2000-03-08
\|
*	Fixes for short output duplication problem: set ↵	David Aspinall	2000-01-06
\| \| \| \|	proof-shell-eager-annotation-start-length.
*	Docstring	David Aspinall	1999-11-24
\|
*	Remove xi, appears in exists.	David Aspinall	1999-11-15
\|
*	Use infixes to show off X-Symbol	David Aspinall	1999-11-15
\|