Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Cleanup | David Aspinall | 2007-12-12 |
* | Remove low color-depth images; use GNU Emacs-specific toolbar images | David Aspinall | 2007-12-12 |
* | Updated. | David Aspinall | 2007-12-12 |
* | New files. | David Aspinall | 2007-12-12 |
* | x-symbol-use-unicode customizable | David Aspinall | 2007-12-11 |
* | Updated. | David Aspinall | 2007-12-11 |
* | Deleted file | David Aspinall | 2007-12-11 |
* | Updated. | David Aspinall | 2007-12-11 |
* | Deleted file | David Aspinall | 2007-12-11 |
* | Pruned buttons | David Aspinall | 2007-12-11 |
* | Deleted file | David Aspinall | 2007-12-11 |
* | New files. | David Aspinall | 2007-12-11 |
* | Cleanup | David Aspinall | 2007-12-10 |
* | Comments. | David Aspinall | 2007-12-10 |
* | Comments. | David Aspinall | 2007-12-10 |
* | Updated. | David Aspinall | 2007-12-10 |
* | New files. | David Aspinall | 2007-12-10 |
* | Protect usage of list-fonts, unknown function | David Aspinall | 2007-12-10 |
* | Modify buffer-invisibility-spec to work smoothly with X-Symbol/Emacs | David Aspinall | 2007-12-10 |
* | Enable invisible font lock property for Emacs now, reveal invisible seems to ... | David Aspinall | 2007-12-10 |
* | GNU Emacs compat: buffer-substring | David Aspinall | 2007-12-10 |
* | Fix parens | David Aspinall | 2007-12-10 |
* | Emacs compatibility/API updates: string-to-int -> string-to-number | David Aspinall | 2007-12-10 |
* | GNU Emacs: delete-backward-char needs an argument | David Aspinall | 2007-12-10 |
* | GNU Emacs: insert-string -> insert | David Aspinall | 2007-12-10 |
* | Fix compile errors | David Aspinall | 2007-12-10 |
* | proof-x-symbol-initialize: fix default mode name construction | David Aspinall | 2007-12-10 |
* | proof-general-version-year: update | David Aspinall | 2007-12-10 |
* | Fix string quoting | David Aspinall | 2007-12-10 |
* | texi-docstring-magic-insert-magic: fix for GNU Emacs name: function-called-at... | David Aspinall | 2007-12-10 |
* | span-give-warning: consistency with span-overlay.el | David Aspinall | 2007-12-10 |
* | Fix use of erase-buffer for GNU Emacs | David Aspinall | 2007-12-10 |
* | Comments. | David Aspinall | 2007-12-10 |
* | Fix some compile warnings: use of error, customization groups | David Aspinall | 2007-12-10 |
* | Updated. | David Aspinall | 2007-12-10 |
* | Set version tag for new release. | David Aspinall | 2007-12-10 |
* | Shorten tooltip | David Aspinall | 2007-12-10 |
* | Fixup some compile warnings | David Aspinall | 2007-12-09 |
* | Fix typo. | David Aspinall | 2007-12-09 |
* | New files. | David Aspinall | 2007-12-09 |
* | Fix some compile warnings: bug in pg-pgip-interpret-choice; move defsubsts to... | David Aspinall | 2007-12-09 |
* | Update bug report locations | David Aspinall | 2007-12-09 |
* | Nuke some compile warnings | David Aspinall | 2007-12-09 |
* | Updated. | David Aspinall | 2007-12-09 |
* | Fix walkthrough to match Isabelle 2007 | David Aspinall | 2007-12-09 |
* | Comments. | David Aspinall | 2007-12-09 |
* | More dirs for TAGS | David Aspinall | 2007-12-09 |
* | Comment unused function | David Aspinall | 2007-12-09 |
* | Patch for buggy derived.el in XEmacs 21.5.b28 | David Aspinall | 2007-12-09 |
* | Extra first section on installation | David Aspinall | 2007-12-09 |