| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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-13 |
| * | 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-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 |
 |
index : proof-general | |
| Emacs interface for proof assistants |
| aboutsummaryrefslogtreecommitdiffhomepage |