aboutsummaryrefslogtreecommitdiff
path: root/generic
AgeCommit message (Expand)Author
2009-05-26proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obeyDavid Aspinall
2009-05-26Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...David Aspinall
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 commented-out...Makarius Wenzel
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
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
2008-07-10Reverse 8.28, buffer-substring-no-properties -> buffer-substring.David Aspinall
2008-07-09Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may cau...David Aspinall
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 cur...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:39:18 +0000