proof-general - Emacs interface for proof assistants

	Commit message (Collapse)	Author	Age
...
*	todo added fo coq.	Pierre Courtieu	2008-07-21
\|
*	Clarify that editing this script is expected	David Aspinall	2008-07-19
\|
*	New files.	David Aspinall	2008-07-19
\|
*	Update for new syntax	David Aspinall	2008-07-19
\|
*	Add lbrace, rbrace	David Aspinall	2008-07-19
\|
*	Set version tag for new release.	David Aspinall	2008-07-19
\|
*	Updated.	David Aspinall	2008-07-19
\|
*	Fix typo.	David Aspinall	2008-07-19
\|
*	Updated.	David Aspinall	2008-07-18
\|
*	Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviour	David Aspinall	2008-07-18
\| \| \| \|	with cut-and-paste and when typing tokens directly. Trac#223.
*	Mac OS: default to XSymb1.ttf;	Makarius Wenzel	2008-07-18
\|
*	added scalable X-Symbol fonts -- the Jerusalem version from 2004;	Makarius Wenzel	2008-07-18
\|
*	Set version tag for new release.	David Aspinall	2008-07-17
\|
*	Remove mention of unicode-tokens2	David Aspinall	2008-07-16
\|
*	Remove use of :help for menu tooltips- GNU Emacs only.	David Aspinall	2008-07-16
\|
*	Deleted file	David Aspinall	2008-07-16
\|
*	backport of recent changes to lib/unicode-tokens.el:	Makarius Wenzel	2008-07-12
\| \| \| \|	cover isup as well;
*	Updated.	David Aspinall	2008-07-12
\|
*	Updated.	David Aspinall	2008-07-12
\|
*	Update for 3.7.1	David Aspinall	2008-07-12
\|
*	New files.	David Aspinall	2008-07-12
\|
*	Update docstrings	David Aspinall	2008-07-12
\|
*	Fix loading of multiple prover files: set proof-assistant-table to nil so ↵	David Aspinall	2008-07-12
\| \| \| \|	proof-ready-for-assitant works
*	Set version tag for new release.	David Aspinall	2008-07-12
\|
*	Updated.	David Aspinall	2008-07-12
\|
*	Correct italic attribute	David Aspinall	2008-07-12
\|
*	x-symbol-xsymb0/1-fonts: more liberal patterns makes it work with scalable ↵	Makarius Wenzel	2008-07-11
\| \| \| \|	xsymb font;
*	backport of recent changes to isar-unicode-tokens.el:	Makarius Wenzel	2008-07-11
\| \| \| \| \| \| \|	more precise regexps isar-token-match, isar-control-token-match; isar-shortcut-alist: map << >> to guillemots -- this is what HOL-Nominal expects; isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a particular meaning in Isabelle; add back \|-> shortcut;
*	Add NOTE	David Aspinall	2008-07-10
\|
*	Updated.	David Aspinall	2008-07-10
\|
*	Add other sup/subs to format menu.	David Aspinall	2008-07-10
\|
*	Add format menu. Improve attempt to handle font-lock-face annotations. ↵	David Aspinall	2008-07-10
\| \| \| \|	Still faulty.
*	Disable Unicode Tokens 2	David Aspinall	2008-07-10
\|
*	Documentation.	David Aspinall	2008-07-10
\|
*	Set version tag for new release.	David Aspinall	2008-07-10
\|
*	Extend documentation for logic setting mechanism (needs magic update)	David Aspinall	2008-07-10
\|
*	Add hook for hack-local-variables-hook to give warning about chosen logic ↵	David Aspinall	2008-07-10
\| \| \| \|	change. Also logic menu tooltips.
*	Add doc for `isabelle-chosen-logic\'	David Aspinall	2008-07-10
\|
*	New files.	David Aspinall	2008-07-10
\|
*	Use proof-guess-command-line to adjust command line when starting Isabelle.	David Aspinall	2008-07-10
\|
*	Updated.	David Aspinall	2008-07-10
\|
*	removed obsolete comment;	Makarius Wenzel	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	2008-07-10
\| \| \| \| \|	Credit due to Makarius. Tested very briefly with Coq. See http://proofgeneral.inf.ed.ac.uk/trac/ticket/200
*	Add isub and isup to unicode-tokens-annotation-control-token-alist	David Aspinall	2008-07-10
\| \| \| \|	Part of patch from Simon Winwood.
*	Reverse 8.28, buffer-substring-no-properties -> buffer-substring.	David Aspinall	2008-07-10
\| \| \| \| \| \|	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.
*	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	2008-07-09
\| \| \| \|	cause breakage on older Emacs (tested on 22.2).
*	Set version tag for new release.	David Aspinall	2008-07-08
\|