proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
*	Typo	David Aspinall	1999-11-17
\|
*	Rewrote some history. Fixed pg_email link.	David Aspinall	1999-11-17
\|
*	Full stop added	David Aspinall	1999-11-17
\|
*	Updated link to LFCS. Added link to demoisa-easy.el	David Aspinall	1999-11-17
\|
*	Prevent access to ~ files too.	David Aspinall	1999-11-17
\|
*	Deleted files.	David Aspinall	1999-11-17
\|
*	Changed doc link	David Aspinall	1999-11-17
\|
*	Formatting	David Aspinall	1999-11-17
\|
*	Reordering.	David Aspinall	1999-11-17
\|
*	Link to demoisa-easy.el	David Aspinall	1999-11-17
\|
*	Added link to CtCoq	David Aspinall	1999-11-17
\|
*	Service patch to fix embarrassing privacy problem, 8-).	David Aspinall	1999-11-17
\|
*	Fixed some docstrings	David Aspinall	1999-11-17
\|
*	Set version tag for new release.	David Aspinall	1999-11-17
\|
*	Tweaked preface.	David Aspinall	1999-11-17
\|
*	Ignore file for ProofGeneral link to ../.. for testing.	David Aspinall	1999-11-17
\|
*	Remove Makefile.xemacs from distrib.	David Aspinall	1999-11-17
\|
*	Link to demoisa-easy.el	David Aspinall	1999-11-17
\|
*	Headers to match other pages	David Aspinall	1999-11-17
\|
*	Name change proof-window-dedicated -> proof-dont-switch-windows.	David Aspinall	1999-11-17
\|
*	Bind mouse 2 as well as mouse 3 for pbp	David Aspinall	1999-11-17
\|
*	Split download page into three parts.	David Aspinall	1999-11-17
\|
*	Sign up to mailinglist by default.	David Aspinall	1999-11-17
\|
*	Isabelle 99 -> Isabelle99 name change	David Aspinall	1999-11-17
\|
*	Added some new code from another patch, but commented out for now.	David Aspinall	1999-11-17
\|
*	Updated	David Aspinall	1999-11-17
\|
*	Note about setting env variable to test this.	David Aspinall	1999-11-17
\|
*	cleaned;	Makarius Wenzel	1999-11-17
\|
*	Fix mouse bindings to be different for FSF/XEmacs versions.	David Aspinall	1999-11-17
\|
*	Fix typo	David Aspinall	1999-11-17
\|
*	Updated	David Aspinall	1999-11-17
\|
*	Fix for FSF compatibility	David Aspinall	1999-11-17
\|
*	Comments	David Aspinall	1999-11-17
\|
*	Fix bug	David Aspinall	1999-11-17
\|
*	Fix FSF prob.	David Aspinall	1999-11-17
\|
*	Comment	David Aspinall	1999-11-17
\|
*	Add *.xemacs targets	David Aspinall	1999-11-17
\|
*	Remove some obsolete/unecessary stuff.	David Aspinall	1999-11-17
\|
*	Comment out some obsolete/unecessary stuff. Add X-Symbol support	David Aspinall	1999-11-17
\|
*	Fix a few bugs/probs shown up by byte-compiling.	David Aspinall	1999-11-17
\|
*	Add Function Menu to menu. Fix a few bugs/probs shown up by byte-compiling.	David Aspinall	1999-11-17
\|
*	Fix several bugs caused by interface changes.	David Aspinall	1999-11-17
\|
*	Support for X-Symbol	David Aspinall	1999-11-17
\|
*	New file for XEmacs package building (unfinished)	David Aspinall	1999-11-17
\|
*	Updated	David Aspinall	1999-11-17
\|
*	todo for shell exiting	David Aspinall	1999-11-16
\|
*	Strip CRs from minibuf messages for FSF's sake to remove ^Js. Attempt to ↵	David Aspinall	1999-11-16
\| \| \| \|	fix 'no-catch for exited tag' buglet.
*	Not strictly necessary to set proof-goal-command-regexp	David Aspinall	1999-11-16
\|
*	Updated	David Aspinall	1999-11-16
\|
*	Cleanups and a bit more highlighting	David Aspinall	1999-11-16
\|