summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* 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
|
* Added support for jedit.René Neumann2011-11-212-4/+11
|
* Make 'hg k' work similar to 'git k'René 'Necoro' Neumann2011-11-161-0/+3
|
* 'tabgroup' -> 'tabgroups'René 'Necoro' Neumann2011-10-141-1/+1
|
* Switch from openoffice alias to libreoffice (ooffice -> soffice)René 'Necoro' Neumann2011-10-141-2/+2
|
* Make the quotes in ProofGeneral to be nearly invisibleRené Neumann2011-10-141-1/+1
|
* Disable hightlighting of the domain in the FF urlbarRené Neumann2011-08-231-0/+3
|
* Enhance IE scriptRené Neumann2011-08-121-6/+7
|
* BlaRené 'Necoro' Neumann2011-08-111-0/+2
|
* Local fontsRené 'Necoro' Neumann2011-08-111-13/+22
|
* Better inconsolata thingsRené Neumann2011-08-114-4/+13
|
* Moved some functions to their own filesRené Neumann2011-08-103-124/+120
|
* More advanced IE scriptRené Neumann2011-08-102-1/+74
|
* Inconsolata also in emacsRené Neumann2011-08-101-1/+1
|
* Better vim fontsRené 'Necoro' Neumann2011-08-101-1/+1
|
* ooffice aliasRené Neumann2011-08-091-0/+2
|
* Update the needed hg-extensions.René Neumann2011-08-091-1/+2
|
* gtkrc stuff for Qt-Gtk-StyleRené 'Necoro' Neumann2011-06-082-0/+8
|
* Updated fonts.conf to work better on lcdsRené 'Necoro' Neumann2011-06-081-17/+6
|
* fonts.confRené 'Necoro' Neumann2011-06-061-0/+38
|
* Fix the last commitRené 'Necoro' Neumann2011-06-061-2/+2
|
* Zsh-Bindings for linux-termRené 'Necoro' Neumann2011-06-051-1/+1
|
* FixRené 'Necoro' Neumann2011-05-071-1/+1
|
* Emacs changes for new PG and Isabelle versionRené 'Necoro' Neumann2011-05-061-5/+8
|
* Rename 'gentoo' prompt to 'necoro'René 'Necoro' Neumann2011-05-033-34/+34
|
* Better setup for the xinitrc stuff.René 'Necoro' Neumann2011-05-034-3/+7
| | | | Now things got added as a xkb map.
* Gentoo zsh promptRené 'Necoro' Neumann2011-05-031-0/+33
|