diff options
| author | René 'Necoro' Neumann <necoro@necoro.net> | 2009-11-07 20:06:03 +0100 |
|---|---|---|
| committer | René 'Necoro' Neumann <necoro@necoro.net> | 2009-11-07 20:08:16 +0100 |
| commit | 9fef58947148cf919b4a26adae279e340af629cf (patch) | |
| tree | c149a42ed9cd1662299ca457b8c3ec28c2394845 /sci-mathematics/isabelle | |
| parent | e5552acfe0f384a0656ef606b6307b08b5575565 (diff) | |
| download | overlay-9fef58947148cf919b4a26adae279e340af629cf.tar.gz overlay-9fef58947148cf919b4a26adae279e340af629cf.tar.bz2 overlay-9fef58947148cf919b4a26adae279e340af629cf.zip | |
Emacs with fixed gtk menus
Diffstat (limited to 'sci-mathematics/isabelle')
0 files changed, 0 insertions, 0 deletions