Yes, that is a good summary, thanks. Although I've not looked into it much, Joda-Time should be able to support Martian time. It would need a new chronology, like MartianChronology. All the other classes should then be able to work against Martian time. New Martian time zones would have to be supplied. Since Joda-Time uses timestamps measured in Earth milliseconds, there might be sight errors in times and time zone offsets. "MTC-9" would have an offset of 33290716 milliseconds, which is 0.5 ms off. Paul Eggert wrote:
Thanks for the heads-up. I'll propose something like the following in my next patch.
<li><a href="http://joda-time.sourceforge.net/">Joda Time - Java date and time API</a> contains a class <code>org.joda.time.tz.ZoneInfoCompiler</code> that compiles <code>tz</code> source into a binary format that can be used by the rest of the Joda API. Joda Time is freely available under a BSD-style license.</li>
PS. I wonder whether Joda Time can support Martian local time. See:
Michael Allison and Robert Schmunk, "Technical Notes on Mars Solar Time as Adopted by the Mars24 Sunclock" <http://www.giss.nasa.gov/tools/mars24/help/notes.html> (2004-01-31).