Not just the military. Much of the *rest of the world uses a 24-hour clock.

Anyway, Juan, to answer your question, I'd never heard "noon-thirty" before. I like it!