Hallo zusammen!
ich fände es am besten, alles auf Doppelpunkt umstellen, da das mit dem einfachen Punkt nicht einheitlich zu funktionieren scheint.
Das habe ich jetzt auch so gemacht. Die Sekunden allerdings brauchen wir, glaube ich, nicht.

Mein neuester Duden gibt mir übrigens 3 gleichwertige Möglichkeiten für die Uhrzeit: 15.30 (ev. noch: Uhr), 15:30 oder 15
30. Letzeres kriege ich aber in der Übersicht wohl nicht gebacken. (Ich bin, abgesehen davon, auch nur ein mittelmässig sich auskennender Benutzer, kein Programmierer!)
Grüsse
Sandhofer
(der es persönlich sehr schade findet, dass sich der amerikanisch-japanisch-digitale Doppelpunkt durchzusetzen beginnt ...

- dass Duden und DIN-Normen als erste den Hofknicks vor Bill Gates & Co. machen, wundert mich allerdings nicht. Besonders, wenn ich an das Professoren-Problem denke

)