1. 0f157dd Update copyright dates (20XY-2012 ==> 20XY-2013) by sewardj · 11 years ago
  2. c91f584 Fix inclusion of header files in coregrind. No pub_tool_*.h should be by florian · 11 years ago
  3. cd19e99 Fix Char/HChar mixups and constness in m_scheduler. by florian · 12 years ago
  4. 78bfc71 Add command-line option --fair-sched=[no|yes|try]. Use --fair-sched=try by bart · 13 years ago