aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)Author
2007-12-12Additions for maths menuDavid Aspinall
2007-12-12New files.David Aspinall
2007-12-12Maths menu convenienceDavid Aspinall
2007-12-12Tune compatibilityDavid Aspinall
2007-12-12Documentation.David Aspinall
2007-12-12Tune backgroundsDavid Aspinall
2007-12-12Add undo command to context menuDavid Aspinall
2007-12-12Fixup iconsDavid Aspinall
2007-12-12CleanupDavid Aspinall
2007-12-12Remove low color-depth images; use GNU Emacs-specific toolbar imagesDavid Aspinall
2007-12-12Updated.David Aspinall
2007-12-12New files.David Aspinall
2007-12-11x-symbol-use-unicode customizableDavid Aspinall
2007-12-11Updated.David Aspinall
2007-12-11Deleted fileDavid Aspinall
2007-12-11Updated.David Aspinall
2007-12-11Deleted fileDavid Aspinall
2007-12-11Pruned buttonsDavid Aspinall
2007-12-11Deleted fileDavid Aspinall
2007-12-11New files.David Aspinall
2007-12-10CleanupDavid Aspinall
2007-12-10Comments.David Aspinall
2007-12-10Comments.David Aspinall
2007-12-10Updated.David Aspinall
2007-12-10New files.David Aspinall
2007-12-10Protect usage of list-fonts, unknown functionDavid Aspinall
2007-12-10Modify buffer-invisibility-spec to work smoothly with X-Symbol/EmacsDavid Aspinall
2007-12-10Enable invisible font lock property for Emacs now, reveal invisible seems to ...David Aspinall
2007-12-10GNU Emacs compat: buffer-substringDavid Aspinall
2007-12-10Fix parensDavid Aspinall
2007-12-10Emacs compatibility/API updates: string-to-int -> string-to-numberDavid Aspinall
2007-12-10GNU Emacs: delete-backward-char needs an argumentDavid Aspinall
2007-12-10GNU Emacs: insert-string -> insertDavid Aspinall
2007-12-10Fix compile errorsDavid Aspinall
2007-12-10proof-x-symbol-initialize: fix default mode name constructionDavid Aspinall
2007-12-10proof-general-version-year: updateDavid Aspinall
2007-12-10Fix string quotingDavid Aspinall
2007-12-10texi-docstring-magic-insert-magic: fix for GNU Emacs name: function-called-at...David Aspinall
2007-12-10span-give-warning: consistency with span-overlay.elDavid Aspinall
2007-12-10Fix use of erase-buffer for GNU EmacsDavid Aspinall
2007-12-10Comments.David Aspinall
2007-12-10Fix some compile warnings: use of error, customization groupsDavid Aspinall
2007-12-10Updated.David Aspinall
2007-12-10Set version tag for new release.David Aspinall
2007-12-10Shorten tooltipDavid Aspinall
2007-12-09Fixup some compile warningsDavid Aspinall
2007-12-09Fix typo.David Aspinall
2007-12-09New files.David Aspinall
2007-12-09Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts to...David Aspinall
2007-12-09Update bug report locationsDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 04:07:07 +0000