aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* Updated.Gravatar David Aspinall2008-12-05
* TweakGravatar David Aspinall2008-12-05
* Set version tag for new release.Gravatar David Aspinall2008-12-05
* Linear undo commandGravatar David Aspinall2008-12-05
* Some minimal updates for 4.0preGravatar David Aspinall2008-12-05
* Fix extra @end defvarGravatar David Aspinall2008-12-05
* Hyphen instead of emdash in faked longleftarrowGravatar David Aspinall2008-12-05
* Fixing parenthesis not accepted by recent emacs anymore. fix by StefanGravatar Pierre Courtieu2008-10-22
* Fixing region access for emacs <= 22.Gravatar Pierre Courtieu2008-10-02
* Set version tag for new release.Gravatar David Aspinall2008-09-19
* Updated.Gravatar David Aspinall2008-09-19
* unicode-tokens-initialise: Fix bug introduced in 10.4: return value was spoilt.Gravatar David Aspinall2008-09-18
* Fix by Stephan HoheGravatar David Aspinall2008-09-18
* DocumentationGravatar David Aspinall2008-08-06
* CommentGravatar David Aspinall2008-08-06
* unicode-tokens-initialise: initialise menu here too rather than at top levelGravatar David Aspinall2008-08-05
* Merge accidental changes to 3.7 branch. Add Highlight real Unicode chars opt...Gravatar David Aspinall2008-08-04
* Fix tokensGravatar David Aspinall2008-08-03
* 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
* Updated.Gravatar David Aspinall2008-08-03
* Change for locked face colourGravatar David Aspinall2008-08-03
* Remove XEmacs package, now single RPM.Gravatar David Aspinall2008-08-03
* Updates for 4.0Gravatar David Aspinall2008-08-03
* Fixed the bug with coq-guess-command-line.Gravatar Pierre Courtieu2008-07-24
* Fix for deferred loading of maths menu.Gravatar David Aspinall2008-07-24
* Fix maths menu tokenise adjustment for type of unicode-tokens-uchar-hash-table.Gravatar David Aspinall2008-07-24
* Fix for deferred loading of maths menu and unicode tokens.Gravatar David Aspinall2008-07-24
* unicode-tokens-insert-token, unicode-tokens-insert-control: fixes and notes. ...Gravatar David Aspinall2008-07-24
* Allow generating variants of given fonts tooGravatar David Aspinall2008-07-24
* Note about Emacs.appGravatar David Aspinall2008-07-24
* Add back lost provideGravatar David Aspinall2008-07-24
* *** empty log message ***Gravatar David Aspinall2008-07-24
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Set version tag for new release.Gravatar David Aspinall2008-07-24
* Fixed http://proofgeneral.inf.ed.ac.uk/trac/ticket/233Gravatar David Aspinall2008-07-24
* Load proof-autoloads earlierGravatar David Aspinall2008-07-24
* Updated.Gravatar David Aspinall2008-07-23
* Fix versionGravatar David Aspinall2008-07-23
* Set version tag for new release.Gravatar David Aspinall2008-07-23
* Add Graham DuttonGravatar David Aspinall2008-07-22
* Set version tag for new release.Gravatar David Aspinall2008-07-22
* Deleted fileGravatar 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
* todo added fo coq.Gravatar Pierre Courtieu2008-07-21
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 21:10:03 +0000