Skip to main content
Jump to: navigation, search


  • Analyse the performance of Epsilon using TPTP
  • Document the 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