proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update copyright messages and improve the header of elisp files.	Erik Martin-Dorel	2018-02-21
\|
*	Attempt to support stricter bytecomp flags	David Aspinall	2011-10-17
\|
*	Improve handling of dynamic preferences. Addresses Trac #387.	David Aspinall	2011-01-31
\|
*	Patch to add pgipfloat type.	David Aspinall	2010-12-16
\|
*	Improve message	David Aspinall	2010-08-18
\|
*	Checkdoc cleanups	David Aspinall	2010-08-08
\|
*	Experimental changes to queue several commands at once and to allow ↵	David Aspinall	2009-09-10
\| \| \| \|	pre-processing of commands when they're queued from script
*	Clean compile	David Aspinall	2009-09-10
\|
*	Fix typos	David Aspinall	2009-09-07
\|
*	Fix compile warnings	David Aspinall	2009-09-06
\|
*	Clean whitespace	David Aspinall	2009-09-05
\|
*	Fix compile warnings	David Aspinall	2009-08-28
\|
*	Use descriptions of help items to set menu tooltips (resolve trac #218)	David Aspinall	2009-07-30
\|
*	Updated.	David Aspinall	2008-01-26
\|
*	Reduce compiler warnings. Minor fixes.	David Aspinall	2008-01-16
\|
*	Many rearrangements for compatibility, efficient/correct compilation, ↵	David Aspinall	2008-01-15
\| \| \| \| \| \| \|	namespaces fixes. pre-shell-start-hook: remove this, use default names for modes proof-compat: simplify architecture flags, use standard (featurep 'xemacs).
*	Rename: proof-show-debug-messages -> proof-general-debug.	David Aspinall	2007-12-14
\|
*	Emacs compatibility/API updates: string-to-int -> string-to-number	David Aspinall	2007-12-10
\|
*	Fix compile errors	David Aspinall	2007-12-10
\|
*	Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts ↵	David Aspinall	2007-12-09
\| \| \| \|	to pg-xml.el
*	Updated.	David Aspinall	2006-05-26
\|
*	Rename PGIP packet attribute origin -> tag	David Aspinall	2005-09-30
\|
*	Updates	David Aspinall	2004-10-05
\|
*	Fix backward compatibility with Isabelle 2004.	David Aspinall	2004-08-31
\|
*	Fixes for idtables	David Aspinall	2004-08-26
\|
*	Extended and updated PGIP support for PGIP 2.X	David Aspinall	2004-08-25
\|
*	Add 'oldhaspref to update action (settings appears again on Isar menu).	David Aspinall	2004-04-15
\|
*	Support 'oldhaspref as alias for 'haspref in PG 3.5.	David Aspinall	2004-04-14
\|
*	Beginnings of parsescript support	David Aspinall	2004-02-29
\|
*	Update email and web addresses	David Aspinall	2004-02-08
\|
*	Include class attribute in PGIP commands	David Aspinall	2003-09-24
\|
*	Fix some compile errors	David Aspinall	2003-02-24
\|
*	Doc	David Aspinall	2002-11-28
\|
*	Add pg-issue-pgip	David Aspinall	2002-11-20
\|
*	Fixup code to interpret default values.	David Aspinall	2002-11-18
\|
*	Next iteration: add post-processing step, descriptions in haspref.	David Aspinall	2002-11-14
\|
*	Debuggin pg-pgip-haspref.	David Aspinall	2002-11-07
\|
*	Fix autoload	David Aspinall	2002-08-15
\|
*	GPL	David Aspinall	2002-06-21
\|
*	Year changes	David Aspinall	2002-03-21
\|
*	Fix some bugs shown by byte comp	David Aspinall	2001-07-09
\|
*	Copyright date updated	David Aspinall	2001-05-08
\|
*	Typo.	David Aspinall	2000-12-07
\|
*	Beginnings of pgip processing	David Aspinall	2000-12-07
\|
*	Functions to process pgip commands.	David Aspinall	2000-11-24