aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Collapse)Author
2009-05-26Add proof-electric-terminator-noterminator behaviour for IsarDavid Aspinall
2009-05-26Revive sendback behaviour (using button1)David Aspinall
2009-05-25Set default value for `buffer-invisibility-spec'David Aspinall
2009-04-16Set version tag for new release.David Aspinall
2009-03-31recovered proof-shell-process-urgent-message, by re-introducing ↵Makarius Wenzel
commented-out parenthesis and refreshing formerly unreachable cases;
2008-12-05Set version tag for new release.David Aspinall
2008-09-19Set version tag for new release.David Aspinall
2008-08-06CommentDavid Aspinall
2008-08-03Fix type in calls to toggle functionsDavid Aspinall
2008-08-03Disable subterm markup removalDavid Aspinall
2008-08-03pg-response-display: disable subterm markup removalDavid Aspinall
2008-08-03Add links to splash menuDavid Aspinall
2008-08-03Make proof-locked-face much lighterDavid Aspinall
2008-08-03Change for locked face colourDavid Aspinall
2008-07-24Fix for deferred loading of maths menu.David Aspinall
2008-07-24Fix for deferred loading of maths menu and unicode tokens.David Aspinall
2008-07-24Add back lost provideDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-24Set version tag for new release.David Aspinall
2008-07-24Load proof-autoloads earlierDavid Aspinall
2008-07-23Set version tag for new release.David Aspinall
2008-07-22Set version tag for new release.David Aspinall
2008-07-21proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs,David Aspinall
with improvement due to Stefan Monnier. No change for XEmacs.
2008-07-21Changed the main menu of coq. Changed a shortcut for holes.Pierre Courtieu
2008-07-21Default proof-allow-undo-in-read-only to tDavid Aspinall
2008-07-19Set version tag for new release.David Aspinall
2008-07-17Set version tag for new release.David Aspinall
2008-07-16Remove mention of unicode-tokens2David Aspinall
2008-07-16Deleted fileDavid Aspinall
2008-07-12Set version tag for new release.David Aspinall
2008-07-12Updated.David Aspinall
2008-07-10Disable Unicode Tokens 2David Aspinall
2008-07-10Documentation.David Aspinall
2008-07-10Set version tag for new release.David Aspinall
2008-07-10Minimal 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-10Reverse 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-09Fix 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-08Set version tag for new release.David Aspinall
2008-07-07Set version tag for new release.David Aspinall
2008-07-06Set version tag for new release.David Aspinall
2008-07-05Set version tag for new release.David Aspinall
2008-07-05Clarify unimplemented settingsDavid Aspinall
2008-07-05Add use-holes setting.David Aspinall
2008-07-05Revert cursor hide in goals and response to avoid user confusion; use bar ↵David Aspinall
cursor.
2008-07-05TEMPORARY: add unicode-tokens2 mechanism to test across different machinesDavid Aspinall
2008-05-26Set version tag for new release.David Aspinall
2008-02-17Set version tag for new release.David Aspinall
2008-02-17Symmetric change for #201David Aspinall
2008-02-17Comments.David Aspinall
2008-02-17Fix clash with X-Symbol resulting in enabling then disabling symbolsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 11:37:24 +0000