Implementation-Title:   nl.tue.win.riaca.openmath.guitool
Implementation-Version: 1.0.0
Implementation-Vendor:  RIACA, Eindhoven University of Technology.
Specification-Title:    Gui Tool for OpenMath
Specification-Version:  1.0
Specification-Vendor:   RIACA, Eindhoven University of Technology.
Main-Class: nl.tue.win.riaca.openmath.guitool.OpenMathMDIGui