time functions such as hourFormat12()

Using Arduino Programming Questions
2

Yes, what you want is here: Arduino Playground - HomePage..

With sample code for the library. The TimeGPS example doesn't work but the time library works very well.

Bob