hellerve
|
50f32b32ed
|
Major rework on vim and zsh
|
2015-04-05 17:41:14 +02:00 |
|
hellerve
|
72495de4f9
|
Enabled multiline in ghci and customized multiline prompt
|
2015-03-30 12:47:54 +02:00 |
|
hellerve
|
61808e10b3
|
Fixed ghci prompt
|
2015-03-10 09:18:30 +01:00 |
|
hellerve
|
0fb7af5e8f
|
Added valgrindrc
|
2015-03-10 09:17:08 +01:00 |
|
Veit Heller
|
04f638e438
|
Changed ghci to not use wall
|
2015-01-23 17:42:02 +01:00 |
|
Veit Heller
|
571fa0632f
|
Added a few minor things
|
2014-07-28 10:13:02 +02:00 |
|
Veit Heller
|
26e1a028dc
|
Added ghci
|
2014-06-12 13:25:06 +02:00 |
|