proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Update todo	David Aspinall	2001-09-10
\|
*	Remove spurious comment at start	David Aspinall	2001-09-10
\|
*	isar-goals-font-lock-keywords: corollary;	Makarius Wenzel	2001-09-10
\|
*	Updated.	David Aspinall	2001-09-09
\|
*	Set version tag for new release.	David Aspinall	2001-09-09
\|
*	Updated.	David Aspinall	2001-09-09
\|
*	Renamed file	David Aspinall	2001-09-09
\|
*	Fixup copying of releasename link	David Aspinall	2001-09-09
\|
*	Updated.	David Aspinall	2001-09-09
\|
*	Set version tag for new release.	David Aspinall	2001-09-09
\|
*	Finished shift to 3.4	David Aspinall	2001-09-09
\|
*	Link to kit.php	David Aspinall	2001-09-09
\|
*	File determination nonsense	David Aspinall	2001-09-09
\|
*	Change over to some .php files.	David Aspinall	2001-09-09
\|
*	Backtrack to previous CHANGES file for now.	David Aspinall	2001-09-09
\|
*	Coq/lego confusion	David Aspinall	2001-09-09
\|
*	Bug in new parsing for coq, mention	David Aspinall	2001-09-09
\|
*	Updated.	David Aspinall	2001-09-09
\|
*	Set version tag for new release.	David Aspinall	2001-09-09
\|
*	Update for 3.4pre	David Aspinall	2001-09-09
\|
*	Remove validation stamp from footer, since its a lie.	David Aspinall	2001-09-09
\|
*	No changes yet	David Aspinall	2001-09-09
\|
*	Updated.	David Aspinall	2001-09-09
\|
*	Set version tag for new release.	David Aspinall	2001-09-09
\|
*	Trim page a bit	David Aspinall	2001-09-09
\|
*	Trim page a bit	David Aspinall	2001-09-09
\|
*	Trim page a bit	David Aspinall	2001-09-09
\|
*	Trim page a bit	David Aspinall	2001-09-09
\|
*	Announce 3.3	David Aspinall	2001-09-09
\|
*	Release 3-3.	David Aspinall	2001-09-09
\|
*	Release date of 3-3.	David Aspinall	2001-09-09
\|
*	Mention paper letter registrations.	David Aspinall	2001-09-09
\|
*	Remove to be released line	David Aspinall	2001-09-09
\|
*	Update docs.	David Aspinall	2001-09-09
\|
*	tuned usage;	Makarius Wenzel	2001-09-06
\|
*	Mention pg-toggle-visibility and its keybinding	David Aspinall	2001-09-05
\|
*	Updated.	David Aspinall	2001-09-05
\|
*	Set version tag for new release.	David Aspinall	2001-09-05
\|
*	Incomplete	David Aspinall	2001-09-05
\|
*	Todo	David Aspinall	2001-09-05
\|
*	Updated	David Aspinall	2001-09-05
\|
*	Add keybindings for new commands for moving/navigating spans.	David Aspinall	2001-09-05
\|
*	Fix problem with C-x C-v by copying buffer-file-name. Add children property ↵	David Aspinall	2001-09-05
\| \| \| \|	to control spans.
*	Improved span moving and navigation commands.	David Aspinall	2001-09-05
\|
*	tuned proof text;	Makarius Wenzel	2001-09-04
\| \| \| \|	added script version;
*	added option -P: actually start Proof General (default true);	Makarius Wenzel	2001-09-04
\|
*	Updated.	David Aspinall	2001-09-04
\|
*	Set version tag for new release.	David Aspinall	2001-09-04
\|
*	Issue parsing messages	David Aspinall	2001-09-04
\|
*	Add commands to move spans up/down. Enable features only if experimental ↵	David Aspinall	2001-09-04
\| \| \| \|	flag set