proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Used new get_thy_filenames function from Isabelle 98-1	David Aspinall	1998-10-21
\|
*	Isabelle program name is just 'isabelle'	David Aspinall	1998-10-20
\|
*	Removed duplicate proof	David Aspinall	1998-10-20
\|
*	Customization for multiple files	David Aspinall	1998-10-19
\|
*	Bug in variable names	David Aspinall	1998-10-12
\|
*	Important regular expression fixes:	David Aspinall	1998-10-12
\| \| \| \| \| \|	-error-regexp doesn't match warnings now. -annotated-prompt-regexp doesn't match warnings now, and is different from -prompt-regexp.
*	Removed proof-shell-error-regexp's match on warnings -- wrong!	David Aspinall	1998-10-12
\|
*	Disabled tags support for Isabelle.	David Aspinall	1998-10-07
\| \| \| \| \| \| \| \|	Removed isabelle-settings defcustom, renamed to isabelle-. Renamed some customization variables isabelle-* for nice display in menus. Removed proof-assistant setting. Removed proof-global-p and isa-global-p. Renamed isa-thy-mode to thy-mode.
*	Renamed isa-thy-* to thy-*	David Aspinall	1998-10-07
\|
*	changed maintainer information to lego@dcs and isabelle@dcs .	Thomas Kleymann	1998-10-02
\|
*	Removed duff key bindings	David Aspinall	1998-10-02
\|
*	Updated maintainer tags to remove lego email address.	David Aspinall	1998-10-01
\|
*	Changed configuration. Added goal-command and save-command.	David Aspinall	1998-10-01
\|
*	Renamed file	David Aspinall	1998-10-01
\|
*	Minor	David Aspinall	1998-09-24
\|
*	Missing bracket added	David Aspinall	1998-09-23
\|
*	Removed tags stuff	David Aspinall	1998-09-23
\|
*	Added back isabelle-settings group	David Aspinall	1998-09-23
\|
*	Error regular expression also matches warnings from Isabelle	David Aspinall	1998-09-23
\|
*	Changed customization group, added goal command, better docs	David Aspinall	1998-09-23
\|
*	Added theory file mode from Isamode.	David Aspinall	1998-09-17
\|
*	Fixes to syntax and startup function.	David Aspinall	1998-09-11
\|
*	Added Id to headers.	David Aspinall	1998-09-09
\|
*	More features working. Added example.	David Aspinall	1998-09-08
\|
*	Renamed/added defcustom support.	David Aspinall	1998-09-03
\|
*	Added Isabelle example and skeleton for Coq and Lego.	David Aspinall	1998-09-03