Summary
- merged
- prefer local timezone;
- support for Isabelle/Jenkins log file format;
- tuned;
- clarified meta info;
- tuned comment;
- tuned signature;
- tuned signature;
- more permissive: accept all historic isatest and afp-test logs;
- accept spurious empty logs;
- prefer static Date_Format;
- more formal directory content; clarified date format;
- tuned error;
- tuned;
- misc tuning and clarification;