proof-general - Emacs plugins for proof management systems

Age	Commit message (Collapse)	Author
2008-07-10	Start to rationalise setting for proof-prog-name.	David Aspinall

2008-07-10	Minimal patch for Sledgehammer problem with Isabelle.	David Aspinall
	Credit due to Makarius. Tested very briefly with Coq. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/200
2008-07-10	Add isub and isup to unicode-tokens-annotation-control-token-alist	David Aspinall
	Part of patch from Simon Winwood.
2008-07-10	Reverse 8.28, buffer-substring-no-properties -> buffer-substring.	David Aspinall
	This fixes Unicode Tokens handling of sub/super scripts, etc. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/214 Thanks to Simon Winwood for identifying failure point.
2008-07-09	cover isup as well;	Makarius Wenzel

2008-07-09	more precise regexps isar-token-match, isar-control-token-match;	Makarius Wenzel

2008-07-09	Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may ↵	David Aspinall
	cause breakage on older Emacs (tested on 22.2).
2008-07-08	Set version tag for new release.	David Aspinall

2008-07-07	isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal ↵	Makarius Wenzel
	expects;
2008-07-07	isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a ↵	Makarius Wenzel
	particular meaning in Isabelle;
2008-07-07	unicode shortcut alist: literal backslash instead of strange control ↵	Makarius Wenzel
	sequence, e.g. "\\nat" instead of "\nat";
2008-07-07	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
	as well;
2008-07-06	New files.	David Aspinall

2008-07-06	Set version tag for new release.	David Aspinall

2008-07-05	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
	cursor.
2008-07-05	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-06-14	obsolete;	Makarius Wenzel

2008-06-06	Fixed example file for utf8.	Pierre Courtieu

2008-06-06	Fixed error highlighting for coq + utf-8. WORKS FOR EMACS-SNAPSHOT BUT	Pierre Courtieu
	NOT FOR EMACS22. As byte position is buggy in emacs22.
2008-06-06	Raised coq undo stack size.	Pierre Courtieu

2008-05-30	Fixed a bug in coq guessing of command line	Pierre Courtieu

2008-05-26	Set version tag for new release.	David Aspinall

2008-05-26	Updated	David Aspinall

2008-05-22	Fixed a bug with abbrev table definition.	Pierre Courtieu

2008-05-22	Fixed a bug with local variable setting.	Pierre Courtieu

2008-05-20	Fixed a bug with coq-prog-name.	Pierre Courtieu

2008-04-11	Small fix with response buffer scrolling.	Pierre Courtieu
	+ starting the "insert as" feature.
2008-03-14	proper indentation;	Makarius Wenzel

2008-03-05	fixed syntax table + thing-at-point.	Pierre Courtieu

2008-02-17	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