aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* proof-goto-end-of-locked-on-error-if-pos-not-visible-in-window: obeyGravatar David Aspinall2009-05-26
* Add proof-shell-strip-output-markup to handle pasting markedup texdt. Minor c...Gravatar David Aspinall2009-05-26
* Add proof-electric-terminator-noterminator behaviour for IsarGravatar David Aspinall2009-05-26
* Revive sendback behaviour (using button1)Gravatar David Aspinall2009-05-26
* Set default value for `buffer-invisibility-spec'Gravatar David Aspinall2009-05-25
* Set version tag for new release.Gravatar David Aspinall2009-04-16
* recovered proof-shell-process-urgent-message, by re-introducing commented-out...Gravatar Makarius Wenzel2009-03-31
* Set version tag for new release.Gravatar David Aspinall2008-12-05
* Set version tag for new release.Gravatar David Aspinall2008-09-19
* CommentGravatar David Aspinall2008-08-06
* Fix type in calls to toggle functionsGravatar David Aspinall2008-08-03
* Disable subterm markup removalGravatar David Aspinall2008-08-03
* pg-response-display: disable subterm markup removalGravatar David Aspinall2008-08-03
* Add links to splash menuGravatar David Aspinall2008-08-03
* Make proof-locked-face much lighterGravatar David Aspinall2008-08-03
* Change for locked face colourGravatar David Aspinall2008-08-03
* Fix for deferred loading of maths menu.Gravatar David Aspinall2008-07-24
* Fix for deferred loading of maths menu and unicode tokens.Gravatar David Aspinall2008-07-24
* Add back lost provideGravatar David Aspinall2008-07-24
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Set version tag for new release.Gravatar David Aspinall2008-07-24
* Load proof-autoloads earlierGravatar David Aspinall2008-07-24
* Set version tag for new release.Gravatar David Aspinall2008-07-23
* Set version tag for new release.Gravatar David Aspinall2008-07-22
* proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs,Gravatar David Aspinall2008-07-21
* Changed the main menu of coq. Changed a shortcut for holes.Gravatar Pierre Courtieu2008-07-21
* Default proof-allow-undo-in-read-only to tGravatar David Aspinall2008-07-21
* Set version tag for new release.Gravatar David Aspinall2008-07-19
* Set version tag for new release.Gravatar David Aspinall2008-07-17
* Remove mention of unicode-tokens2Gravatar David Aspinall2008-07-16
* Deleted fileGravatar David Aspinall2008-07-16
* Set version tag for new release.Gravatar David Aspinall2008-07-12
* Updated.Gravatar David Aspinall2008-07-12
* Disable Unicode Tokens 2Gravatar David Aspinall2008-07-10
* Documentation.Gravatar David Aspinall2008-07-10
* Set version tag for new release.Gravatar David Aspinall2008-07-10
* Minimal patch for Sledgehammer problem with Isabelle.Gravatar David Aspinall2008-07-10
* Reverse 8.28, buffer-substring-no-properties -> buffer-substring.Gravatar David Aspinall2008-07-10
* Fix for GNU Emacs 23 tool bar, set image-load-path persistently. NB: may cau...Gravatar David Aspinall2008-07-09
* Set version tag for new release.Gravatar David Aspinall2008-07-08
* Set version tag for new release.Gravatar David Aspinall2008-07-07
* Set version tag for new release.Gravatar David Aspinall2008-07-06
* Set version tag for new release.Gravatar David Aspinall2008-07-05
* Clarify unimplemented settingsGravatar David Aspinall2008-07-05
* Add use-holes setting.Gravatar David Aspinall2008-07-05
* Revert cursor hide in goals and response to avoid user confusion; use bar cur...Gravatar David Aspinall2008-07-05
* TEMPORARY: add unicode-tokens2 mechanism to test across different machinesGravatar David Aspinall2008-07-05
* Set version tag for new release.Gravatar David Aspinall2008-05-26
* Set version tag for new release.Gravatar David Aspinall2008-02-17
* Symmetric change for #201Gravatar David Aspinall2008-02-17
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-02 10:41:11 +0000