I prefer the first form for dates in the file headers.