Class-Path: antlr.jar gap-parser.jar gap-phrasebook.jar gap-shell.jar magma-phrasebook.jar magma-shell.jar maple-phrasebook.jar maple-shell.jar mathematica-phrasebook.jar mathematica-shell.jar om-lib.jar xerces.jar store-shell.jar store-phrasebook.jar Implementation-Title: nl.tue.win.riaca.openmath.shell Implementation-Version: 1.0.10 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