proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Set version tag for new release.	David Aspinall	2000-06-22
\|
*	Added missing proof.	David Aspinall	2000-06-22
\|
*	Extra note.	David Aspinall	2000-06-22
\|
*	XEmacs only note	David Aspinall	2000-06-22
\|
*	Rearranged, more info about X-Sym probs	David Aspinall	2000-06-22
\|
*	Remove modeline from extra frames (in XEmacs).	David Aspinall	2000-06-22
\|
*	Added back defconsts for face names needed for FSF Emacs.	David Aspinall	2000-06-22
\| \| \| \|	Yet another annoyance with FSF.
*	somme little changes to make undo work better	Pierre Courtieu	2000-06-22
\|
*	Set version tag for new release.	David Aspinall	2000-06-19
\|
*	Fix typo causing missing proof-shell-pre-interrupt-hook.	David Aspinall	2000-06-19
\|
*	Fix typo	David Aspinall	2000-06-19
\|
*	Updated list of helpers. Typo	David Aspinall	2000-06-19
\|
*	proper function-menu (fume) setup;	Makarius Wenzel	2000-06-16
\|
*	proper indentation setup;	Makarius Wenzel	2000-06-16
\|
*	proper indentation;	Makarius Wenzel	2000-06-16
\|
*	proof-script-find-next-entity: support list of match items;	Makarius Wenzel	2000-06-16
\| \| \| \| \| \|	replaced spurious re-search-forward by proof-re-search-forward; proof-script-important-settings: commented out proof-goal-with-hole-regexp, proof-save-with-hole-regexp;
*	proof-script-next-entity-regexps: admit list of MATCHNOS;	Makarius Wenzel	2000-06-16
\|
*	Set version tag for new release.	David Aspinall	2000-06-16
\|
*	Renamed x symbol language name to isabelle (rather big for status line, ↵	David Aspinall	2000-06-16
\| \| \| \|	unfortunately)
*	Tuned x-symbol config, moved settings to isabelle-system.el	David Aspinall	2000-06-16
\|
*	Added pgcustom x-symbol-language to allow different language name than proof ↵	David Aspinall	2000-06-16
\| \| \| \|	assistant
*	Deleted files.	David Aspinall	2000-06-16
\|
*	Renamed file	David Aspinall	2000-06-16
\|
*	Note about new indentation code and current buggy state	David Aspinall	2000-06-16
\|
*	Added new section on updates for future Emacs versions	David Aspinall	2000-06-15
\|
*	Updated	David Aspinall	2000-06-15
\|
*	Note to merge	David Aspinall	2000-06-15
\|
*	First attempt at using new indentation for Isabelle. Utterly broken.	David Aspinall	2000-06-15
\|
*	Support toolbar in gtk-xemacs	David Aspinall	2000-06-15
\|
*	More comments at top of file	David Aspinall	2000-06-15
\|
*	Web addr note	David Aspinall	2000-06-15
\|
*	Improved some docstrings.	David Aspinall	2000-06-15
\| \| \| \| \| \|	Simplified face configuration by using auxiliary macro. Now also works for gtk-xemacs. Experimented with removing spurious face alias constants.
*	Elaborated on where to find example file	David Aspinall	2000-06-15
\|
*	new indentation setup;	Makarius Wenzel	2000-06-10
\|
*	Message about packages needed (incomplete)	David Aspinall	2000-06-09
\|
*	Removed spurious requires.	David Aspinall	2000-06-09
\|
*	Updated magic.	David Aspinall	2000-06-09
\|
*	Load a couple more file manually.	David Aspinall	2000-06-09
\|
*	Strange ? got in by accident.	David Aspinall	2000-06-09
\|
*	Set version tag for new release.	David Aspinall	2000-06-09
\|
*	Comment	David Aspinall	2000-06-09
\|
*	Remove toolbar and menubar from windows in multiple frame mode.	David Aspinall	2000-06-09
\|
*	Bug in file colouring	David Aspinall	2000-06-09
\|
*	fixed show_sorts;	Makarius Wenzel	2000-06-09
\|
*	proof-shell-error-regexp;	Makarius Wenzel	2000-06-09
\|
*	new indentation setup;	Makarius Wenzel	2000-06-08
\| \| \| \|	completion-table: use isar-keywords-major;
*	new indentation setup;	Makarius Wenzel	2000-06-08
\|
*	isar-keywords-proof-open/close;	Makarius Wenzel	2000-06-08
\|
*	proper indentation;	Makarius Wenzel	2000-06-08
\|
*	adapted to new indentation setup;	Makarius Wenzel	2000-06-08
\|