1. bf4621d no longer sourceforge (also known as test commit) by mueller · 21 years ago
  2. 0dd9cf1 Added instructions on checking out from SourceForge CVS to the README file. by njn · 21 years ago
  3. e43d3ae Added README_DEVELOPERS file. by njn · 21 years ago
  4. e49d8e7 Files updated, added and removed in order to turn the ERASER branch into HEAD by njn25 · 22 years ago
  5. 3a359fe Final caveats for 1.0.0. by sewardj · 22 years ago
  6. 365a851 Final documentation updates for 1.0. by sewardj · 22 years ago
  7. 4018392 Clear up historical artefacts. by sewardj · 22 years ago
  8. def1bad cosmetic fixes by gobry · 22 years ago
  9. 59528b2 cosmetic fixes by gobry · 22 years ago
  10. 69896d5 updated the info about the default.supp file. by gobry · 22 years ago
  11. e721a52 improved the build system by gobry · 22 years ago
  12. de4a1d0 Initial revision by sewardj · 22 years ago