isabelle: Changelog

wenzelm [Sat, 15 May 2021 17:38:49 +0200] rev 73695

clarified command-line;

wenzelm [Sat, 15 May 2021 13:25:52 +0200] rev 73694

clarified signature; supporess empty results;

wenzelm [Sat, 15 May 2021 12:33:08 +0200] rev 73693

clarified signature;

wenzelm [Sat, 15 May 2021 12:25:24 +0200] rev 73692

clarified log content;

wenzelm [Fri, 14 May 2021 21:32:11 +0200] rev 73691

reimplemented Mirabelle as Isabelle/ML presentation hook + Isabelle/Scala tool, but sledgehammer is still inactive;

wenzelm [Thu, 13 May 2021 15:52:10 +0200] rev 73690

tuned;

wenzelm [Thu, 13 May 2021 15:38:52 +0200] rev 73689

unused;

wenzelm [Wed, 12 May 2021 17:17:46 +0200] rev 73688

unused (see 8ffc607c345d);

wenzelm [Wed, 12 May 2021 16:47:52 +0200] rev 73687

clarified signature: provide access to previous state;

wenzelm [Wed, 12 May 2021 14:55:51 +0200] rev 73686

clarified signature (see Scala version);

isabelle