Class-Path: antlr.jar gap-parser.jar gap-phrasebook.jar gap-shell.jar magma-phrasebook.jar magma-shell.jar mathematica-phrasebook.jar mathematica-shell.jar om-lib.jar xerces.jar
Implementation-Title:   nl.tue.win.riaca.openmath.shell
Implementation-Version: 1.0.9
Implementation-Vendor:  RIACA, Eindhoven University of Technology.
Specification-Title:    OpenMath Shell
Specification-Version:  1.0
Specification-Vendor:   RIACA, Eindhoven University of Technology.
Main-Class: nl.tue.win.riaca.openmath.shell.OMShell