| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Fix icon sizes, antialising |  David Aspinall | 2007-12-12 |
| * | x-symbol-invisible-font: Prevent using invisible font if have got x-symbol-em... | David Aspinall | 2007-12-12 |
| * | Updated. | David Aspinall | 2007-12-12 |
| * | Deleted file | David Aspinall | 2007-12-12 |
| * | Deleted file | David Aspinall | 2007-12-12 |
| * | Deleted file | David Aspinall | 2007-12-12 |
| * | Updated. | David Aspinall | 2007-12-12 |
| * | Deleted file | David Aspinall | 2007-12-12 |
| * | Updated. | David Aspinall | 2007-12-12 |
| * | Updated. | David Aspinall | 2007-12-12 |
| * | Updated cropped images | David Aspinall | 2007-12-12 |
| * | Added a sample file for utf8. |  Pierre Courtieu | 2007-12-12 |
| * | Compatibility with coq trunk where some special symbols are removed. | Pierre Courtieu | 2007-12-12 |
| * | Additions for maths menu | David Aspinall | 2007-12-12 |
| * | New files. | David Aspinall | 2007-12-12 |
| * | Maths menu convenience | David Aspinall | 2007-12-12 |
| * | Tune compatibility | David Aspinall | 2007-12-12 |
| * | Documentation. | David Aspinall | 2007-12-12 |
| * | Tune backgrounds | David Aspinall | 2007-12-12 |
| * | Add undo command to context menu | David Aspinall | 2007-12-12 |
| * | Fixup icons | David Aspinall | 2007-12-12 |
| * | 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 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |