proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	More text about Unicode Tokens	David Aspinall	2009-09-08
\| \| \| \|	Remove proof-shell-abort-goal-regexp
*	Update: mention scomint, remove old variables/functions	David Aspinall	2009-09-06
\|
*	Remove proof-shell-prompt-pattern, no longer used.	David Aspinall	2009-09-04
\|
*	Update versions	David Aspinall	2009-08-31
\|
*	Clarify mode functions. Fix cross references to Elisp ref (not XEmacs Lispref)	David Aspinall	2009-08-28
\|
*	Add recommendation for DejaVu fonts. Update magic.	David Aspinall	2009-08-25
\|
*	proof-looking-at-syntactic-context: add doc. Update doc/names of proof ↵	David Aspinall	2009-08-17
\| \| \| \|	shell filter functions.
*	Document document centric mechanism. Other updates and additions. Remove ↵	David Aspinall	2009-08-07
\| \| \| \|	experimental features.
*	Updates for Isabelle2009, new electric terminator behaviour.	David Aspinall	2009-05-26
\|
*	Tweak	David Aspinall	2008-12-05
\|
*	Some minimal updates for 4.0pre	David Aspinall	2008-12-05
\|
*	Fix extra @end defvar	David Aspinall	2008-12-05
\|
*	Merge changes from Version4Branch.	David Aspinall	2008-07-24
\|
*	Update docstrings	David Aspinall	2008-07-12
\|
*	Update magic	David Aspinall	2008-01-30
\|
*	Fix included file	David Aspinall	2008-01-17
\|
*	Update dates	David Aspinall	2008-01-17
\|
*	Remove architecture flags. Remove proof-pre-shell-start and proof-mode-for- ↵	David Aspinall	2008-01-14
\| \| \| \|	settings.
*	Update docstring magic	David Aspinall	2007-12-14
\|
*	Rename: proof-show-debug-messages -> proof-general-debug.	David Aspinall	2007-12-14
\|
*	pg-topterm-char -> pg-topterm-regexp	David Aspinall	2007-08-19
\|
*	Add support for sending back literal commands reusing PBP markup mechanisms.	David Aspinall	2007-08-14
\|
*	Fix broken texi magic strings.	David Aspinall	2007-06-19
\|
*	Account for new default behaviour of texi2html, using subdir for manuals	David Aspinall	2007-06-19
\|
*	Fix menu path to Customize	David Aspinall	2005-05-17
\|
*	Update for 3.6	David Aspinall	2004-08-25
\|
*	Update magic, dates	David Aspinall	2004-06-04
\|
*	Update versions and dates. Extra section in adapting for syntax table, etc.	David Aspinall	2004-05-09
\|
*	Whitespace.	David Aspinall	2004-05-06
\|
*	Run magic, clean up duplicated entries and whitespace.	David Aspinall	2004-05-06
\| \| \| \|	Fix to architecture vars.
*	Spacing	David Aspinall	2004-04-24
\|
*	Add proof-shell-require-command-regexp, proof-done-advancing-require-function	David Aspinall	2004-04-24
\| \| \| \| \|	to support multiple files in Coq. Move some keybindings to proof-universal-keys (esp. C-c C-l).
*	Updated magic	David Aspinall	2004-04-17
\|
*	Update dates, update magic, doc proof-cannot-reopen-processed-files.	David Aspinall	2004-04-17
\|
*	Explain how to configure Imenu.	David Aspinall	2004-04-16
\|
*	Update version to 3.5	David Aspinall	2004-04-03
\|
*	Update magic	David Aspinall	2004-04-02
\|
*	Update date	David Aspinall	2004-03-23
\|
*	Intro to 3.5 version, Emacs version update	David Aspinall	2004-03-23
\|
*	Update last updated stamp	David Aspinall	2004-03-23
\|
*	Update some urls	David Aspinall	2004-02-08
\|
*	Update magic	David Aspinall	2004-02-08
\|
*	Fix domain name	David Aspinall	2003-12-11
\|
*	Update magic	David Aspinall	2003-06-05
\|
*	Updated magic	David Aspinall	2003-03-17
\|
*	Update version number, reorg.	David Aspinall	2002-09-11
\|
*	Doc new proof-zap-commas	David Aspinall	2002-08-31
\|
*	Remove proof-splash-extensions	David Aspinall	2002-08-29
\|
*	Update magic	David Aspinall	2002-08-29
\|
*	Update dir entries, remove localdir file	David Aspinall	2002-08-28
\|