Skip to main content
Jump to: navigation, search

Epsilon/Agenda

  • Analyse the performance of Epsilon using TPTP
  • Document the Eclipse.org specific files (project plan etc)
  • Document the building/uploading process
  • Add missing copyright notices in the code
  • Prepare docuware for move from GMT to EMFT

Back to the top