The music files are .XMI files, which stands for Extended MIDI. It's a really obscure format, but it's basically a MIDI file in a slightly different format (and it doesn't do everything MIDI can, like tempo changes). I don't know if there are converters from MIDI to XMI or not, but I have an XMI player with source code so if you can make a MIDI file then there has to be a way to convert to XMI. Where there's a will there's a way.
|