summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Fullscreen for both vim and emacsRené Neumann2012-09-072-0/+33
|
* disable evil -- it just does not workRené Neumann2012-09-071-1/+1
|
* emacs clipboard optionsRené Neumann2012-09-071-0/+5
|
* vim: togglingRené 'Necoro' Neumann2012-09-061-1/+11
|
* remove nasty input bindings of a.vimRené 'Necoro' Neumann2012-09-051-0/+5
|
* fix default font in emacsRené Neumann2012-09-052-5/+9
|
* enhance isabelle-repairRené 'Necoro' Neumann2012-09-052-17/+24
|
* More emacs/isabelle hacksRené 'Necoro' Neumann2012-09-043-11/+33
|
* Remove VimballRecordRené Neumann2012-09-041-1/+0
|
* More vim bundlesRené Neumann2012-09-041-0/+7
|
* Move to bundles in vim -- also remove old craftRené Neumann2012-09-0483-27488/+42
|
* el-getRené Neumann2012-09-042-5/+24
|
* Move Emacs Custom stuff to its own fileRené Neumann2012-09-042-37/+40
|
* Customize Evil -- make it work with Isar ShortcutsRené Neumann2012-09-042-1/+17
|
* Added record hg extensionRené 'Necoro' Neumann2012-08-301-0/+1
|
* Added 'evil' mode for emacsRené Neumann2012-08-301-36/+7
|
* Start gpg-agent on login.René 'Necoro' Neumann2012-06-121-1/+1
|
* Alias for bsdtarRené Neumann2012-06-121-0/+1
|
* Start gpg-agent on X-StartupRené Neumann2012-06-081-0/+1
|
* AK --> amd64René 'Necoro' Neumann2012-05-311-1/+1
|
* Ignore -m in cciRené Neumann2012-05-291-0/+3
|
* Force man to not use localized man-pagesRené Neumann2012-05-291-0/+3
|
* Revert "It uses pinentry directly -- so no use to play around with ssh-add"René 'Necoro' Neumann2012-05-211-0/+6
| | | | | | | This reverts commit 2bfaec3cc8e02a10dfc28e5bd2f6298ccb7bfaf5. As it showed, we got pinentry only because xfce had the wicked idea of starting gpg-agent instead of ssh-agent.
* It uses pinentry directly -- so no use to play around with ssh-addRené Neumann2012-05-201-6/+0
|
* Added script for remote helpRené Neumann2012-05-191-0/+41
|
* Moved mozpluggerrc to the user-dirRené Neumann2012-05-111-0/+44
|
* Increase sledgehammer timeoutRené Neumann2012-04-271-1/+2
|
* Enable auto-quickcheck in isabelleRené Neumann2012-04-271-0/+1
|
* fixRené 'Necoro' Neumann2012-04-131-1/+1
|
* gitconfig cleanupRené Neumann2012-04-131-1/+1
|
* gui -> gui_runningRené Neumann2012-04-101-1/+1
|
* Disable cursorline in non-GUI for VIMRené Neumann2012-04-101-0/+2
|
* fixes for zsh < 4.3.9René Neumann2012-04-102-6/+11
|
* Move Latex stuff into general vim-configRené Neumann2012-04-101-0/+6
|
* More isabelle emacs stuff, especially shortcutsRené Neumann2012-03-061-1/+38
|
* vim-latex additionsRené 'Necoro' Neumann2012-02-232-0/+5
|
* Cleanup using TRAPEXITRené Neumann2012-02-231-3/+6
|
* Remove useless aliasesRené Neumann2012-02-231-4/+0
|
* -mRené Neumann2012-02-231-14/+17
|
* Unify cci outputRené Neumann2012-02-231-10/+15
|
* Make the stg-version into a variable ... no need to run python multiple timesRené Neumann2012-02-231-6/+5
|
* Merge branch 'master' of necoro.eu:dotfilesRené 'Necoro' Neumann2012-02-232-4/+4
|\
| * ebuild_error_on_trailing_whitespace is deprecatedRené 'Necoro' Neumann2012-01-301-1/+0
| |
| * Add 'block' command to mako syntaxRené 'Necoro' Neumann2012-01-101-2/+2
| |
| * Changes needed for haddock browser.René 'Necoro' Neumann2012-01-101-1/+2
| |
* | Port cci to new stgit versionRené Neumann2012-02-232-4/+19
| |
* | Do not use the find-theorems-form in PGRené Neumann2012-02-231-1/+1
|/
* Update haskellmodeRené Neumann2011-12-091-2/+1
|
* Update haskellmodeRené Neumann2011-12-095-82/+228
|
* Set Poly/ML as the default SML interpreter.René Neumann2011-11-211-0/+3
|