proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal ↵	Makarius Wenzel	2008-07-07
\| \| \| \|	expects;
*	isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a ↵	Makarius Wenzel	2008-07-07
\| \| \| \|	particular meaning in Isabelle;
*	unicode shortcut alist: literal backslash instead of strange control ↵	Makarius Wenzel	2008-07-07
\| \| \| \|	sequence, e.g. "\\nat" instead of "\nat";
*	Set version tag for new release.	David Aspinall	2008-07-07
\|
*	defface: using proof-face-specs makes faces appear on non-X11 window systems ↵	Makarius Wenzel	2008-07-07
\| \| \| \|	as well;
*	New files.	David Aspinall	2008-07-06
\|
*	Set version tag for new release.	David Aspinall	2008-07-06
\|
*	Deleted file	David Aspinall	2008-07-05
\|
*	Set version tag for new release.	David Aspinall	2008-07-05
\|
*	Clarify unimplemented settings	David Aspinall	2008-07-05
\|
*	Add use-holes setting.	David Aspinall	2008-07-05
\|
*	Remove faulty test	David Aspinall	2008-07-05
\|
*	Add back \|-> shortcut	David Aspinall	2008-07-05
\|
*	Revert cursor hide in goals and response to avoid user confusion; use bar ↵	David Aspinall	2008-07-05
\| \| \| \|	cursor.
*	Trac regressions	David Aspinall	2008-07-05
\|
*	TEMPORARY: add unicode-tokens2 mechanism to test across different machines	David Aspinall	2008-07-05
\|
*	Add customization for use of image converter, default to disable.	David Aspinall	2008-07-05
\|
*	obsolete;	Makarius Wenzel	2008-06-14
\|
*	Fixed example file for utf8.	Pierre Courtieu	2008-06-06
\|
*	Fixed error highlighting for coq + utf-8. WORKS FOR EMACS-SNAPSHOT BUT	Pierre Courtieu	2008-06-06
\| \| \| \|	NOT FOR EMACS22. As byte position is buggy in emacs22.
*	Raised coq undo stack size.	Pierre Courtieu	2008-06-06
\|
*	Fixed a bug in coq guessing of command line	Pierre Courtieu	2008-05-30
\|
*	Set version tag for new release.	David Aspinall	2008-05-26
\|
*	Updated	David Aspinall	2008-05-26
\|
*	Fixed a bug with abbrev table definition.	Pierre Courtieu	2008-05-22
\|
*	Fixed a bug with local variable setting.	Pierre Courtieu	2008-05-22
\|
*	Fixed a bug with coq-prog-name.	Pierre Courtieu	2008-05-20
\|
*	Small fix with response buffer scrolling.	Pierre Courtieu	2008-04-11
\| \| \| \|	+ starting the "insert as" feature.
*	proper indentation;	Makarius Wenzel	2008-03-14
\|
*	fixed syntax table + thing-at-point.	Pierre Courtieu	2008-03-05
\|
*	Remove junk	David Aspinall	2008-02-17
\|
*	Updated.	David Aspinall	2008-02-17
\|
*	Docstring with keymap	David Aspinall	2008-02-17
\|
*	Set version tag for new release.	David Aspinall	2008-02-17
\|
*	Symmetric change for #201	David Aspinall	2008-02-17
\|
*	Updated.	David Aspinall	2008-02-17
\|
*	Add item for #204	David Aspinall	2008-02-17
\|
*	Add item for #204	David Aspinall	2008-02-17
\|
*	Add undo-depth setting and default it to 200, overriding Coq's 100 default.	David Aspinall	2008-02-17
\|
*	New files.	David Aspinall	2008-02-17
\|
*	Updated.	David Aspinall	2008-02-17
\|
*	Comments.	David Aspinall	2008-02-17
\|
*	Missing backslashes.	David Aspinall	2008-02-17
\|
*	Experimental use of fonts for \<AA> etc. Disable some contentious shortcuts	David Aspinall	2008-02-17
\|
*	Remove isar-activate-scripting, which was identical to default	David Aspinall	2008-02-17
\|
*	Add serif token match	David Aspinall	2008-02-17
\|
*	Fix clash with X-Symbol resulting in enabling then disabling symbols	David Aspinall	2008-02-17
\|
*	Remove left over propertise experiment call; fixes #202	David Aspinall	2008-02-17
\|
*	unicode-tokens: Experimental multiple font support	David Aspinall	2008-02-17
\|
*	Set proof-shell-eager-annotation-start-length=2. This should have been	David Aspinall	2008-02-17
\| \| \| \|	when ASCII scheme was introduced. Messages may be lost otherwise.