proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	updated CHANGES	Assia Mahboubi	2008-01-31
\| \| \| \|	added an example file in coq/
*	Set version tag for new release.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Comments.	David Aspinall	2008-01-31
\|
*	Updated.	David Aspinall	2008-01-31
\|
*	Remove duplicate default target. Add doc for EMACS setting egs.	David Aspinall	2008-01-31
\|
*	Move version check in case proof-site.el is loaded, not proof-site.elc	David Aspinall	2008-01-31
\|
*	Say "Partial" for this X-Symbol support	David Aspinall	2008-01-31
\|
*	Mention X-Symbol on native Mac	David Aspinall	2008-01-31
\|
*	Fix compile problem in x-symbol-mac-setup2	David Aspinall	2008-01-31
\|
*	Note about instructions on X-Symb for Mac	David Aspinall	2008-01-31
\|
*	Instructions on X-Symb for Mac	David Aspinall	2008-01-31
\|
*	Note about isaxsymb1.ttf	David Aspinall	2008-01-31
\|
*	Disable X-Symbol on emacs >= 23. Internal interfaces have changed	David Aspinall	2008-01-31
\| \| \| \| \|	there for x-complement-fontset-spec. It may be possible to fix without much work, but isn't immediately obvious.
*	Added Assia's contribution to ssreflect mode for coq in CHANGES.	Pierre Courtieu	2008-01-31
\|
*	Fix RCS tags	David Aspinall	2008-01-30
\|
*	New major version for pending release.	David Aspinall	2008-01-30
\|
*	Remove more zip	David Aspinall	2008-01-30
\|
*	Move to .tgz	David Aspinall	2008-01-30
\|
*	Remove zip from distribution, only use tgz	David Aspinall	2008-01-30
\|
*	Set version tag for new release.	David Aspinall	2008-01-30
\|
*	Comment cleanups. buffer-substring -> buffer-substring-no-properties.	David Aspinall	2008-01-30
\| \| \| \| \| \| \| \|	Make proof-shell-handle-output robust against START-REGEXP match fail (can happen if shell buffer is garbled/user-edited). Make proof-shell-insert robust against null STRING (should not happen; development artefact while getting rid of proof-no-command). Update date.
*	Update year	David Aspinall	2008-01-30
\|
*	coq : sorry, reverting previous buggy customization	Assia Mahboubi	2008-01-30
\|
*	Documentation.	David Aspinall	2008-01-30
\|
*	Update magic	David Aspinall	2008-01-30
\|
*	Clarify GE>=23 required for glyph rotation (decode 'ucs in fact).	David Aspinall	2008-01-30
\|
*	New files.	David Aspinall	2008-01-30
\|
*	Harmonise a bit more with X-Symbols. Add customization facility	David Aspinall	2008-01-30
\|
*	Support dynamically changing short-cut list	David Aspinall	2008-01-30
\|
*	Add docstrings	David Aspinall	2008-01-30
\|
*	PG tagline	David Aspinall	2008-01-30
\|
*	Comment about maths menu	David Aspinall	2008-01-30
\|
*	Comments re trac #187	David Aspinall	2008-01-30
\|
*	Documentation.	David Aspinall	2008-01-30
\|
*	Updated.	David Aspinall	2008-01-30
\|
*	Update magic	David Aspinall	2008-01-30
\|
*	Update credits and add section on Unicode support	David Aspinall	2008-01-30
\|
*	Load unicode-tokens.el	David Aspinall	2008-01-30
\|
*	Update doc on token input method. Merge README.exper.	David Aspinall	2008-01-30
\|
*	Added a boolean defcustom test to make optional the highlight of variables	Assia Mahboubi	2008-01-30
\|
*	coq : changing highlight of solve, adding Export	Assia Mahboubi	2008-01-30
\|
*	Disable experimental features, finally.	David Aspinall	2008-01-30
\|
*	Deleted file	David Aspinall	2008-01-30
\|
*	Updated.	David Aspinall	2008-01-30
\|
*	Deleted file	David Aspinall	2008-01-30
\|
*	Updated.	David Aspinall	2008-01-30
\|
*	New files.	David Aspinall	2008-01-29
\|
*	proof-interrupt-process: avoid effect of comint-skip-input (printing ↵	David Aspinall	2008-01-29
\| \| \| \|	interrupt key).
*	Add buffer-substring-no-properties in case of older Emacs versions	David Aspinall	2008-01-29
\|