proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Support the Variant vernacular	Tej Chajed	2018-08-17
\| \| \| \| \|	Syntactically looks much like an Inductive, though it is non-recursive so "where" (mutual recursion) is not supported.
*	serveral coqtags fixes and improvements	Hendrik Tews	2017-02-27
\| \| \| \| \| \| \| \|	- precise tags for definitions - fix bug with nonempty white space lines - add several keywords (Proposition, Record, ...) - generate tags for constructors of inductive definitions and for record labels
*	fix coqtags	Hendrik Tews	2017-01-17
\| \| \| \|	@psteckler I believe you have this patch already in your branch.
*	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
\|
*	Spurious newline causing patch to fall over.	David Aspinall	2000-05-25
\|
*	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
\|
*	coqtags is now Perl5 compatible - courtesy of hhg	Thomas Kleymann	1998-10-01
\|
*	Added Id to headers.	David Aspinall	1998-09-09
\|
*	Renamed for new subdirectory structure	David Aspinall	1998-09-03