Implementation-Title: nl.tue.win.riaca.magma.shell Implementation-Version: @VERSION@ Implementation-Vendor: RIACA, Technische Universiteit Eindhoven Specification-Title: Magma Shell Specification-Version: 1.0 Specification-Vendor: RIACA, Technische Universiteit Eindhoven Main-Class: nl.tue.win.riaca.magma.shell.MagmaShell