proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	isar-indent regexps moved to isar-syntax.el;	Makarius Wenzel	2000-04-25
\| \| \| \|	tuned comments;
*	removed unused isar-ids;	Makarius Wenzel	2000-04-25
\| \| \| \|	added isar-indent regexps (from isar.el);
*	removed "simpset" minor keyword;	Makarius Wenzel	2000-04-25
\|
*	20.X -> recent, since XEmacs now on 21.	David Aspinall	2000-04-25
\|
*	Fix %r modifier in proof-format-filename.	David Aspinall	2000-04-25
\|
*	Revert to indended fix for isa-retract-thy-file.	David Aspinall	2000-04-25
\|
*	Note about efficiency/bug fix by Markus.	David Aspinall	2000-04-25
\|
*	fixed isa-retract-thy-file: pass theory name only;	Makarius Wenzel	2000-04-17
\| \| \| \|	fixed some comments;
*	added 'hide';	Makarius Wenzel	2000-04-17
\|
*	proof-segment-up-to: no longer poke around in make-string buffer (now	Makarius Wenzel	2000-04-15
\| \| \| \|	more efficient, also works around crash bug in xemacs-21.1.7/SuSE);
*	fixed proof-mode-for-goals;	Makarius Wenzel	2000-04-12
\|
*	Fix version.	David Aspinall	2000-04-07
\|
*	Change order in release to make ChangeLog be updated before dist built.	David Aspinall	2000-04-07
\|
*	mode-for-pbp -> mode-for-goals	David Aspinall	2000-04-07
\|
*	Set version tag for new release.	David Aspinall	2000-04-07
\|
*	Comment.	David Aspinall	2000-04-07
\|
*	Updated	David Aspinall	2000-04-07
\|
*	More generic message to avoid confusion with Coq searching.	David Aspinall	2000-04-07
\|
*	Generalisation of proof-info-command to string or fn.	David Aspinall	2000-04-07
\|
*	Moved from wrong place.	David Aspinall	2000-04-07
\|
*	Removed this.	David Aspinall	2000-04-07
\|
*	Updated	David Aspinall	2000-04-07
\|
*	pbp-mode -> goals-mode	David Aspinall	2000-04-07
\|
*	Comments. pbp-mode -> goals-mode	David Aspinall	2000-04-07
\|
*	Tweak to disable_pr function to allow for it being called twice (why?).	David Aspinall	2000-04-07
\|
*	pbp-mode -> goals-mode	David Aspinall	2000-04-07
\|
*	Decoration tweaks	David Aspinall	2000-04-07
\|
*	pbp-mode -> goals-mode	David Aspinall	2000-04-07
\|
*	More decoration	David Aspinall	2000-04-07
\|
*	goals-mode -> pbp-mode	David Aspinall	2000-04-07
\|
*	Extra decoration.	David Aspinall	2000-04-07
\|
*	Updates for 3.2. Added documentation of silent settings.	David Aspinall	2000-04-07
\|
*	Fixed up proof-shell-proof-completed mess nicely.	David Aspinall	2000-04-07
\|
*	tuned \<bottom>;	Makarius Wenzel	2000-04-06
\| \| \| \|	added \<lbrace>, \<rbrace>, \<top>;
*	tuned todo stuff;	Makarius Wenzel	2000-04-05
\|
*	improved print_mode switch;	Makarius Wenzel	2000-04-05
\|
*	'welcome' made diagnostic;	Makarius Wenzel	2000-04-05
\|
*	eliminated 'as' keyword;	Makarius Wenzel	2000-04-05
\|
*	added 'print_claset', 'print_simpset';	Makarius Wenzel	2000-04-04
\|
*	Added provisional commands for enabling/disabling printing.	David Aspinall	2000-04-04
\|
*	Set version tag for new release.	David Aspinall	2000-04-04
\|
*	Updated	David Aspinall	2000-04-04
\|
*	Save as Example.ML, except using X-Symbol input tokens.	David Aspinall	2000-04-04
\|
*	Note of 3.2 changes	David Aspinall	2000-04-04
\|
*	Improved behaviour of electric terminator.	David Aspinall	2000-04-04
\|
*	Updated	David Aspinall	2000-04-04
\|
*	Added implementation of silent switch for turning on/off prover output.	David Aspinall	2000-04-04
\|
*	Added proof-shell-clear-state function to collect together state clearing ops.	David Aspinall	2000-04-04
\|
*	Updates for 3.2 series.	David Aspinall	2000-04-04
\|
*	Added new project B4	David Aspinall	2000-04-04
\|