aboutsummaryrefslogtreecommitdiffhomepage
Commit message (Expand)AuthorAge
* 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
* Correct italic attributeGravatar David Aspinall2008-07-12
* x-symbol-xsymb0/1-fonts: more liberal patterns makes it work with scalable xs...Gravatar Makarius Wenzel2008-07-11
* backport of recent changes to isar-unicode-tokens.el:Gravatar Makarius Wenzel2008-07-11
* Add NOTEGravatar David Aspinall2008-07-10
* Updated.Gravatar David Aspinall2008-07-10
* Add other sup/subs to format menu.Gravatar David Aspinall2008-07-10
* Add format menu. Improve attempt to handle font-lock-face annotations. Stil...Gravatar David Aspinall2008-07-10
* 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
* Extend documentation for logic setting mechanism (needs magic update)Gravatar David Aspinall2008-07-10
* Add hook for hack-local-variables-hook to give warning about chosen logic cha...Gravatar David Aspinall2008-07-10