1. 3b41a5b fix typo by nethercote · 21 years ago
  2. 71a941e Update for compulsory --tool by nethercote · 21 years ago
  3. 0635b72 Fix typo, and update bug-reporting procedure. by nethercote · 21 years ago
  4. 075a102 Update for having added Massif. by nethercote · 21 years ago
  5. 5da1e17 Updated the README file. It had lots of out-of-date and incorrect information by nethercote · 21 years ago
  6. ed7e073 Whoops... back out changes accidentally made to this file with the last, by nethercote · 21 years ago
  7. 382a892 by nethercote · 21 years ago
  8. bf4621d no longer sourceforge (also known as test commit) by mueller · 21 years ago
  9. 0dd9cf1 Added instructions on checking out from SourceForge CVS to the README file. by njn · 21 years ago
  10. e43d3ae Added README_DEVELOPERS file. by njn · 22 years ago
  11. e49d8e7 Files updated, added and removed in order to turn the ERASER branch into HEAD by njn25 · 22 years ago
  12. 3a359fe Final caveats for 1.0.0. by sewardj · 22 years ago
  13. 365a851 Final documentation updates for 1.0. by sewardj · 22 years ago
  14. 4018392 Clear up historical artefacts. by sewardj · 22 years ago
  15. def1bad cosmetic fixes by gobry · 23 years ago
  16. 59528b2 cosmetic fixes by gobry · 23 years ago
  17. 69896d5 updated the info about the default.supp file. by gobry · 23 years ago
  18. e721a52 improved the build system by gobry · 23 years ago
  19. de4a1d0 Initial revision by sewardj · 23 years ago