1. 3d49844 Update the Helgrind manual for 3.5.0. by sewardj · 15 years ago
  2. 78bb7f6 Double the maximum size of the conflict cache. by sewardj · 15 years ago
  3. a331164 Make "option" terminology consistent some more. Also tweaked the mempool by njn · 15 years ago
  4. 46c8b43 Remove some text that shouldn't be there. by njn · 15 years ago
  5. f6e8ca9 Overhaul Helgrind's manual chapter. by njn · 15 years ago
  6. 7375de3 More docs build tweaks: by njn · 15 years ago
  7. 7316df2 Various manual fix-ups: by njn · 15 years ago
  8. 7e5d4ed We currently use a mix of <option> and <computeroutput> tags for command by njn · 15 years ago
  9. 05a8917 Started overhauling the documentation: by njn · 15 years ago
  10. 1a620d5 Minor futzing with the documentation. by sewardj · 16 years ago
  11. c6a1cd1 Finish off updates to the Helgrind manual. by sewardj · 16 years ago
  12. 5246990 More documentation updates. Urr. I knew there was a reason I'd been by sewardj · 16 years ago
  13. 7c76839 Partial update of the Helgrind documentation (incomplete). by sewardj · 16 years ago
  14. 8bfd94f Fixed typo. by bart · 16 years ago
  15. 11e352f Correctly handle semaphores with nonzero initial values. Fixes bug by sewardj · 17 years ago
  16. 3387889 Spelling fixes and misc tidying for the manual. (Brian Gough) by sewardj · 17 years ago
  17. 572feb7 Rename in the manual. by sewardj · 17 years ago
  18. b411202 by sewardj · 17 years ago
  19. 609939f Rename this directory. by sewardj · 17 years ago
  20. 03e0e7c Tidying up stuff re generating manpage from *.xml docs by de · 19 years ago
  21. 8d9fec5 Complete documentation trawl for 3.1.0. by sewardj · 19 years ago
  22. ae71dd4 argh! there were loads of the little beggars .... by de · 19 years ago
  23. 3e986b2 Overhauled the docs. Removed all the HTML files, put in XML files as by njn · 20 years ago
  24. 537e894 by nethercote · 20 years ago
  25. 137bc55 by nethercote · 21 years ago
  26. b767769 Minor addition. by njn · 21 years ago
  27. f555ac7 Restructure the documentation to try and make it hang together better. by sewardj · 22 years ago
  28. 9160c95 by sewardj · 22 years ago
  29. 831d401 by sewardj · 22 years ago
  30. 83157fc by njn · 22 years ago