aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
Commit message (Expand)AuthorAge
* Re-enable toolbar commands on main menu; add home iconGravatar David Aspinall2009-08-07
* Rename lockedend -> homeGravatar David Aspinall2009-08-07
* proof-colour-locked: complete implementationGravatar David Aspinall2009-08-07
* rename: proof-full-decoration -> proof-full-annotationGravatar David Aspinall2009-08-07
* rename: proof-full-decoration -> proof-full-annotationGravatar David Aspinall2009-08-07
* Name changes and tweaks: proof-full-decoration -> proof-full-decoration,Gravatar David Aspinall2009-08-07
* Prevent setting of proof-overlay-arrow if not configuredGravatar David Aspinall2009-08-06
* New configuration variable proof-use-pgip-askprefs. Use setting group names ...Gravatar David Aspinall2009-08-06
* Add overlay arrow ported from Kit.Gravatar David Aspinall2009-07-30
* Add proof-colour-locked option to leave locked region background uncoloured.Gravatar David Aspinall2009-07-30
* Update autoloadsGravatar David Aspinall2009-07-30
* Use descriptions of help items to set menu tooltips (resolve trac #218)Gravatar David Aspinall2009-07-30
* Cleanup more Emacs compatibilityGravatar David Aspinall2009-05-27
* Check unicode-tokens-mode is boundGravatar David Aspinall2009-05-27
* Add proof state hover messages to proof script, along with useful customization.Gravatar David Aspinall2009-05-26
* Set version tag for new release.Gravatar David Aspinall2009-05-26
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 14:55:17 +0000