1. df2ed8c 231078 JEE package update to Ganymede M7 by david_williams · 15 years ago
  2. 573d98c remove TPTP from JEE by david_williams · 15 years ago
  3. 50f1406 MacOS startup problem: https://bugs.eclipse.org/bugs/show_bug.cgi?id=217716#20 by david_williams · 15 years ago
  4. cf1670d adjust for 3.4M6a by david_williams · 15 years ago
  5. 3102082 adding TPTP to JEE config by david_williams · 15 years ago
  6. befd52f take ownership of epp config file by david_williams · 15 years ago