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
  • Briefly discuss some features needed for INESS / MADES:
    • EWL-GMF binding: expose a variable for referring to GMF notation model
    • More fine-grained traceability in EGL

Back to the top