don't shrink the stack smaller than the value set by +RTS -k<size>
[ghc-hetmet.git] / rts / Timer.h
2007-09-03 Simon MarlowFIX #1623: disable the timer signal when the system...
2007-03-02 Simon MarlowUse timer_create() for the interval timer, if available
2006-09-05 Ian Lynaghnew RTS flag: -V to modify the resolution of the RTS...
2006-04-07 Simon MarlowReorganisation of the source tree