| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | [emacs] Better highlighting of selected areas (does not clash with PG-proof | René 'Necoro' Neumann | 2014-06-30 | 1 | -0/+1 |
| | | | | | state anymore). | ||||
| * | IE: Remove isub/isup: they are not supported anymore | René 'Necoro' Neumann | 2013-11-21 | 1 | -1/+1 |
| | | |||||
| * | PG shortcuts fix | René Neumann | 2013-01-08 | 1 | -1/+1 |
| | | |||||
| * | Re-Fixed PG shortcuts for sub-/superscript | René Neumann | 2012-10-26 | 1 | -1/+1 |
| | | |||||
| * | Fixed PG shortcuts for sub-/superscript, added infinity | René Neumann | 2012-10-26 | 1 | -1/+1 |
| | | |||||
| * | fix default font in emacs | René Neumann | 2012-09-05 | 1 | -1/+0 |
| | | |||||
| * | More emacs/isabelle hacks | René 'Necoro' Neumann | 2012-09-04 | 1 | -8/+8 |
| | | |||||
| * | Move Emacs Custom stuff to its own file | René Neumann | 2012-09-04 | 1 | -0/+37 |
 |
index : dotfiles | |
| All my dotfiles | René 'Necoro' Neumann |
| summaryrefslogtreecommitdiff |