| Age | Commit message (Expand) | Author |
|---|---|---|
| 2007-12-13 | Bind coqdoc-html to C-c % w to avoid clash with help key. | David Aspinall |
| 2007-12-13 | Comment the removal of the call to toggle-enable-multibyte-characters. | David Aspinall |
| 2007-12-13 | New files. | David Aspinall |
| 2007-12-13 | New files. | David Aspinall |
| 2007-12-13 | Deleted file | David Aspinall |
| 2007-12-13 | Updated. | David Aspinall |
| 2007-12-13 | Add Gerwin | David Aspinall |
| 2007-12-13 | Add makarius=markus | David Aspinall |
| 2007-12-13 | Add assia | David Aspinall |
| 2007-12-13 | Renamed file | David Aspinall |
| 2007-12-13 | Updated. | David Aspinall |
| 2007-12-13 | Deleted file | David Aspinall |
| 2007-12-13 | Complete maths menu addition | David Aspinall |
| 2007-12-13 | Remove qed/goal from toolbar; use info icon. Add maths-menu custom var. | David Aspinall |
| 2007-12-12 | Fix antialising | David Aspinall |
| 2007-12-12 | 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-11 | 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-10 | Cleanup | David Aspinall |
| 2007-12-10 | Comments. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |