aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* Clarify that editing this script is expectedGravatar David Aspinall2008-07-19
* New files.Gravatar David Aspinall2008-07-19
* Update for new syntaxGravatar David Aspinall2008-07-19
* Add lbrace, rbraceGravatar David Aspinall2008-07-19
* Set version tag for new release.Gravatar David Aspinall2008-07-19
* Updated.Gravatar David Aspinall2008-07-19
* Fix typo.Gravatar David Aspinall2008-07-19
* Updated.Gravatar David Aspinall2008-07-18
* Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviourGravatar David Aspinall2008-07-18
* Mac OS: default to XSymb1.ttf;Gravatar Makarius Wenzel2008-07-18
* added scalable X-Symbol fonts -- the Jerusalem version from 2004;Gravatar Makarius Wenzel2008-07-18
* Set version tag for new release.Gravatar David Aspinall2008-07-17
* Remove mention of unicode-tokens2Gravatar David Aspinall2008-07-16
* Remove use of :help for menu tooltips- GNU Emacs only.Gravatar David Aspinall2008-07-16
* Deleted fileGravatar David Aspinall2008-07-16
* backport of recent changes to lib/unicode-tokens.el:Gravatar Makarius Wenzel2008-07-12
* Updated.Gravatar David Aspinall2008-07-12
* Updated.Gravatar David Aspinall2008-07-12
* Update for 3.7.1Gravatar David Aspinall2008-07-12
* New files.Gravatar David Aspinall2008-07-12
* Update docstringsGravatar David Aspinall2008-07-12
* Fix loading of multiple prover files: set proof-assistant-table to nil so pro...Gravatar David Aspinall2008-07-12
* Set version tag for new release.Gravatar David Aspinall2008-07-12
* Updated.Gravatar David Aspinall2008-07-12
generated by cgit v1.2.3 (git 2.39.1) at 2024-07-05 20:33:11 +0000