proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Fix domain name	David Aspinall	2003-12-11
\|
*	Updated.	David Aspinall	2003-05-28
\|
*	Updated.	David Aspinall	2003-02-19
\|
*	Updated.	David Aspinall	2003-02-05
\|
*	Updated.	David Aspinall	2002-11-28
\|
*	Updated.	David Aspinall	2002-11-11
\|
*	Updated.	David Aspinall	2002-11-11
\|
*	Updated.	David Aspinall	2002-11-07
\|
*	Updated.	David Aspinall	2002-09-11
\|
*	Strict read works on GNU Emacs 21.2.	David Aspinall	2002-08-30
\|
*	Updated.	David Aspinall	2002-08-27
\|
*	Updated.	David Aspinall	2002-08-16
\|
*	Updates	David Aspinall	2002-08-08
\|
*	Known issues	David Aspinall	2002-07-19
\|
*	Update	David Aspinall	2002-07-18
\|
*	Mention known probs in prerel	David Aspinall	2002-07-18
\|
*	Tracing bug	David Aspinall	2002-07-14
\|
*	Mention probs with tracing mode.	David Aspinall	2002-07-12
\|
*	Reorg. Mention fontification bug.	David Aspinall	2002-06-30
\|
*	Mention looping GNU	David Aspinall	2002-06-21
\|
*	Remove minibuffer bug	David Aspinall	2001-08-31
\|
*	Comment about win32 XEmacs	David Aspinall	2001-08-10
\|
*	strange buffer selection bug reported by Markus	David Aspinall	2001-03-20
\|
*	Inherent problem with Emacs in console mode: no face support	David Aspinall	2000-09-29
\|
*	Updated	David Aspinall	2000-09-27
\|
*	Fix Proof General web page to www.proofgeneral.org.	David Aspinall	2000-09-26
\|
*	Updated	David Aspinall	2000-09-23
\|
*	Plea for debugging in FSF Emacs	David Aspinall	2000-06-01
\|
*	Note about fix for C-x C-f and friends	David Aspinall	2000-05-25
\|
*	Added note about new FSF bug discovered, sigh...	David Aspinall	2000-05-01
\|
*	Note about 21.1.9 problems reading files.	David Aspinall	2000-03-24
\|
*	Updated, split by Emacs-specificity	David Aspinall	2000-03-23
\|
*	Updated.	David Aspinall	2000-03-19
\|
*	New/updated information files	David Aspinall	2000-03-13
\|
*	Updated	David Aspinall	2000-03-09
\|
*	Note about bug/fix with old Japan versions of CL macs.	David Aspinall	2000-03-08
\|
*	Notes about fix for problem with Emacs 20.5 reported by Pierre	David Aspinall	2000-01-25
\|
*	Added two new bugs.	David Aspinall	1999-12-13
\|
*	Note about duplicated messages.	David Aspinall	1999-11-29
\|
*	Added more notes about using ML files in Isabelle.	David Aspinall	1999-11-29
\|
*	Note about proof_timing in Isabelle	David Aspinall	1999-11-29
\|
*	Updated	David Aspinall	1999-11-25
\|
*	Fixed extending queue bug.	David Aspinall	1999-11-24
\|
*	Mention problem with MLWorks on Solaris	David Aspinall	1999-11-23
\|
*	Added note about C-c RET broken on console.	David Aspinall	1999-11-19
\|
*	Updated	David Aspinall	1999-11-17
\|
*	Updated	David Aspinall	1999-11-16
\|
*	Updated	David Aspinall	1999-11-15
\|
*	Updated	David Aspinall	1999-11-08
\|
*	Note to use C-c C-s to solve Isabelle prob	David Aspinall	1999-10-06
\|