isabelle: Changelog

wenzelm [Thu, 04 Nov 2021 16:47:28 +0100] rev 74693

tuned signature;

wenzelm [Thu, 04 Nov 2021 16:02:55 +0100] rev 74692

unused;

Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Thu, 04 Nov 2021 16:50:03 +0100] rev 74691

proper support of verit's return code for timeout

wenzelm [Thu, 04 Nov 2021 15:57:21 +0100] rev 74690

tuned whitespace;

wenzelm [Thu, 04 Nov 2021 15:54:01 +0100] rev 74689

updated to verit-2021.06.1-rmx, to address "Abnormal termination with exit code 14";

wenzelm [Thu, 04 Nov 2021 15:44:37 +0100] rev 74688

clarified signature;

wenzelm [Thu, 04 Nov 2021 12:53:12 +0100] rev 74687

prefer official Export.explode_name; avoid string interpolation: Isabelle/Scala is closer to Isabelle/ML than Python/Perl;

wenzelm [Thu, 04 Nov 2021 12:43:34 +0100] rev 74686

tuned;

wenzelm [Thu, 04 Nov 2021 12:37:45 +0100] rev 74685

avoid conflict with future keyword;

wenzelm [Thu, 04 Nov 2021 12:32:42 +0100] rev 74684

tuned messages;

isabelle