summaryrefslogtreecommitdiff
path: root/static/images/img03.gif
blob: d92ea38f9ac13cf9ffc140945e388cf34e013653 (plain)
ofshex dumpascii
0000 47 49 46 38 39 61 c9 02 0f 00 b3 00 00 00 00 00 12 12 12 48 48 48 39 39 39 24 24 24 34 34 34 45 GIF89a.............HHH999$$$444E
0020 45 45 13 13 13 4c 4c 4c 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 21 f9 04 EE...LLL.....................!..
0040 00 00 00 00 00 2c 00 00 00 00 c9 02 0f 00 00 04 92 10 c9 49 ab bd 38 eb cd bb ff 60 28 8e 64 69 .....,.............I..8....`(.di
0060 9e 68 aa ae 6c eb be 70 2c cf 74 6d df 78 ae ef 7c ef ff c0 a0 70 48 2c 1a 8f c8 a4 72 c9 6c 3a .h..l..p,.tm.x..|....pH,....r.l:
0080 9f d0 a8 74 4a ad 5a af d8 ac 76 cb ed 7a bf e0 b0 78 4c 2e 9b cf e8 b4 7a cd 6e bb df f0 b8 7c ...tJ.Z...v..z...xL.....z.n....|
00a0 4e af db ef f8 bc 7e cf ef fb ff 80 81 82 83 84 85 86 7d 02 87 8a 8b 8c 8d 7a 02 03 8e 92 93 94 N.....~...........}......z......
00c0 95 61 03 07 96 9a 9b 9c 9d 48 01 00 04 9e a3 a4 a5 a6 2d 04 00 aa 01 05 06 a7 af b0 b1 b0 06 05 .a.......H........-.............
00e0 a0 00 11 00 3b ....;
td>1-1/+1 2012-04-10Disable cursorline in non-GUI for VIMRené Neumann1-0/+2 2012-04-10fixes for zsh < 4.3.9René Neumann2-6/+11 2012-04-10Move Latex stuff into general vim-configRené Neumann1-0/+6 2012-03-06More isabelle emacs stuff, especially shortcutsRené Neumann1-1/+38 2012-02-23vim-latex additionsRené 'Necoro' Neumann2-0/+5 2012-02-23Cleanup using TRAPEXITRené Neumann1-3/+6 2012-02-23Remove useless aliasesRené Neumann1-4/+0 2012-02-23-mRené Neumann1-14/+17 2012-02-23Unify cci outputRené Neumann1-10/+15 2012-02-23Make the stg-version into a variable ... no need to run python multiple timesRené Neumann1-6/+5 2012-02-23Port cci to new stgit versionRené Neumann2-4/+19 2012-02-23Do not use the find-theorems-form in PGRené Neumann1-1/+1 2012-01-30ebuild_error_on_trailing_whitespace is deprecatedRené 'Necoro' Neumann1-1/+0 2012-01-10Add 'block' command to mako syntaxRené 'Necoro' Neumann1-2/+2 2012-01-10Changes needed for haddock browser.René 'Necoro' Neumann1-1/+2 2011-12-09Update haskellmodeRené Neumann1-2/+1 2011-12-09Update haskellmodeRené Neumann5-82/+228 2011-11-21Set Poly/ML as the default SML interpreter.René Neumann1-0/+3 2011-11-21Added support for jedit.René Neumann2-4/+11 2011-11-16Make 'hg k' work similar to 'git k'René 'Necoro' Neumann1-0/+3 2011-10-14'tabgroup' -> 'tabgroups'René 'Necoro' Neumann1-1/+1 2011-10-14Switch from openoffice alias to libreoffice (ooffice -> soffice)René 'Necoro' Neumann1-2/+2 2011-10-14Make the quotes in ProofGeneral to be nearly invisibleRené Neumann1-1/+1 2011-08-23Disable hightlighting of the domain in the FF urlbarRené Neumann1-0/+3 2011-08-12Enhance IE scriptRené Neumann1-6/+7 2011-08-11BlaRené 'Necoro' Neumann1-0/+2 2011-08-11Local fontsRené 'Necoro' Neumann1-13/+22 2011-08-11Better inconsolata thingsRené Neumann4-4/+13 2011-08-10Moved some functions to their own filesRené Neumann3-124/+120 2011-08-10More advanced IE scriptRené Neumann2-1/+74 2011-08-10Inconsolata also in emacsRené Neumann1-1/+1 2011-08-10Better vim fontsRené 'Necoro' Neumann1-1/+1 2011-08-09ooffice aliasRené Neumann1-0/+2 2011-08-09Update the needed hg-extensions.René Neumann1-1/+2 2011-06-08gtkrc stuff for Qt-Gtk-StyleRené 'Necoro' Neumann2-0/+8 2011-06-08Updated fonts.conf to work better on lcdsRené 'Necoro' Neumann1-17/+6