proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	Removed multiple provers problem, it's handled gracefully now and not a bug.	David Aspinall	1998-12-11
\|
*	Added mention of FSFmacs multibyte character problem (version 20.3)	David Aspinall	1998-12-11
\|
*	Updated	David Aspinall	1998-11-25
\|
*	documented problem with Discharge in LEGO	Thomas Kleymann	1998-11-10
\|
*	introduced section for FSF Emacs	Thomas Kleymann	1998-11-10
\|
*	Added bug about FSFmacs/proof-strict-read-only=t/font-lock	David Aspinall	1998-11-09
\|
*	Added section on Isabelle specific bugs.	David Aspinall	1998-11-09
\|
*	Nasty things no longer happen, can't load Proof General more than once	David Aspinall	1998-11-06
\|
*	completed chapter on Known bugs. However section on Isabelle Proof	Thomas Kleymann	1998-11-05
\| \| \| \|	General specific bugs is still missing.
*	Updated and improved.	David Aspinall	1998-11-03
\|
*	Found some more...	David Aspinall	1998-10-07
\|
*	Added notes about toolbar and retract buglets.	David Aspinall	1998-10-01
\|
*	Fixed message about using several assistants	David Aspinall	1998-09-17
\|
*	Realised clash with proof-assistant variable was causing "odd customize ↵	David Aspinall	1998-09-14
\| \| \| \|	behaviour"
*	Added toolbar todos discussed at business lunch with tms	David Aspinall	1998-09-14
\|
*	Added Id to headers.	David Aspinall	1998-09-09
\|
*	Updated	David Aspinall	1998-09-09
\|
*	New file.	David Aspinall	1998-09-03