I'm on Mac. I can get date/time values as 24-hour time (18:30h vs. 06:30 PM) by changing the system time preference. But there doesn't seem to be any internal JMP option to format time this way independent of the system setting. I'd like there to be one. (It saves space in tables; but I don't want to change my system setting for this.)