Antwort auf [ loethelm ]

es geht nicht um den Keil, sondern um die Statuszeile mit Datum, Datei, Profile etc.

Stimmt, wenn diese nicht von der Proofsoftware automatisch erzeugt und ausgegeben wird, ist es technisch gesehen natürlich kein Proof.

???