proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	lego-shell-process-output -> lego-shell-classify-output	David Aspinall	2009-09-07
\|
*	Configuration changes for shell mode revision.	David Aspinall	2009-09-06
\|
*	Remove proof-shell-wakeup-char	David Aspinall	2009-09-06
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Whitespace and require	David Aspinall	2009-09-05
\|
*	Remove proof-shell-prompt-pattern, no longer used.	David Aspinall	2009-09-04
\|
*	Remove proof-no-command	David Aspinall	2009-09-04
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Docstring with keymap	David Aspinall	2008-02-17
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Many compatibility updates, bug fixes, rearrangements for compilation.	David Aspinall	2008-01-15
\|
*	Deleted file	David Aspinall	2007-12-13
\|
*	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
\|