aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2008-08-03Updates for 4.0David Aspinall
2008-07-24Fixed the bug with coq-guess-command-line.Pierre Courtieu
2008-07-24Fix for deferred loading of maths menu.David Aspinall
2008-07-24Fix maths menu tokenise adjustment for type of unicode-tokens-uchar-hash-table.David Aspinall
2008-07-24Fix for deferred loading of maths menu and unicode tokens.David Aspinall
2008-07-24unicode-tokens-insert-token, unicode-tokens-insert-control: fixes and notes. ↵David Aspinall
Enable fontsets command on menu always for now.
2008-07-24Allow generating variants of given fonts tooDavid Aspinall
2008-07-24Note about Emacs.appDavid Aspinall
2008-07-24Add back lost provideDavid Aspinall
2008-07-24*** empty log message ***David Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-24Set version tag for new release.David Aspinall
2008-07-24Fixed http://proofgeneral.inf.ed.ac.uk/trac/ticket/233David Aspinall
2008-07-24Load proof-autoloads earlierDavid Aspinall
2008-07-23Updated.David Aspinall
2008-07-23Fix versionDavid Aspinall
2008-07-23Set version tag for new release.David Aspinall
2008-07-22Add Graham DuttonDavid Aspinall
2008-07-22Set version tag for new release.David Aspinall
2008-07-22Deleted fileDavid Aspinall
2008-07-21proof-ids-to-regexp: Use word-symbol constituent match \_< \_> in GNU Emacs,David Aspinall
with improvement due to Stefan Monnier. No change for XEmacs.
2008-07-21Changed the main menu of coq. Changed a shortcut for holes.Pierre Courtieu
2008-07-21Default proof-allow-undo-in-read-only to tDavid Aspinall
2008-07-21todo added fo coq.Pierre Courtieu
2008-07-19Clarify that editing this script is expectedDavid Aspinall
2008-07-19New files.David Aspinall
2008-07-19Update for new syntaxDavid Aspinall
2008-07-19Add lbrace, rbraceDavid Aspinall
2008-07-19Set version tag for new release.David Aspinall
2008-07-19Updated.David Aspinall
2008-07-19Fix typo.David Aspinall
2008-07-18Updated.David Aspinall
2008-07-18Disable \<zero>, \<a>, \<aa>, etc. To prevent unexpected behaviourDavid Aspinall
with cut-and-paste and when typing tokens directly. Trac#223.
2008-07-18Mac OS: default to XSymb1.ttf;Makarius Wenzel
2008-07-18added scalable X-Symbol fonts -- the Jerusalem version from 2004;Makarius Wenzel
2008-07-17Set version tag for new release.David Aspinall
2008-07-16Remove mention of unicode-tokens2David Aspinall
2008-07-16Remove use of :help for menu tooltips- GNU Emacs only.David Aspinall
2008-07-16Deleted fileDavid Aspinall
2008-07-12backport of recent changes to lib/unicode-tokens.el:Makarius Wenzel
cover isup as well;
2008-07-12Updated.David Aspinall
2008-07-12Updated.David Aspinall
2008-07-12Update for 3.7.1David Aspinall
2008-07-12New files.David Aspinall
2008-07-12Update docstringsDavid Aspinall
2008-07-12Fix loading of multiple prover files: set proof-assistant-table to nil so ↵David Aspinall
proof-ready-for-assitant works
2008-07-12Set version tag for new release.David Aspinall
2008-07-12Updated.David Aspinall
2008-07-12Correct italic attributeDavid Aspinall
2008-07-11x-symbol-xsymb0/1-fonts: more liberal patterns makes it work with scalable ↵Makarius Wenzel
xsymb font;
generated by cgit v1.2.3 (git 2.25.1) at 2026-10-08 15:19:40 +0000