proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Make shell and perl scripts executable.	Erik Martin-Dorel	2016-09-19
\| \| \| \|	This addresses part of the issues pointed out in #112
*	Default to /usr/bin/perl	David Aspinall	2002-06-08
\|
*	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
\|
*	Revert to previous path for perl, better default for non-linux. Linux uses ↵	David Aspinall	2000-05-25
\| \| \| \|	RPM, where its fixed.
*	Change default path to perl	David Aspinall	2000-05-25
\|
*	Added Id to headers.	David Aspinall	1998-09-09
\|
*	Renamed for new subdirectory structure	David Aspinall	1998-09-03