aboutsummaryrefslogtreecommitdiff
AgeCommit message (Collapse)Author
2007-12-12Updated.David Aspinall
2007-12-12Deleted fileDavid Aspinall
2007-12-12Updated.David Aspinall
2007-12-12Updated.David Aspinall
2007-12-12Updated cropped imagesDavid Aspinall
2007-12-12Added a sample file for utf8.Pierre Courtieu
2007-12-12Compatibility with coq trunk where some special symbols are removed.Pierre Courtieu
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
work OK.
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: ↵David Aspinall
function-called-at-point
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-18 05:43:16 +0000