isabelle: Changelog

wenzelm [Tue, 30 Oct 2018 19:14:31 +0100] rev 69208

some support for UTF-8 (similar to Isabelle/Scala version);

wenzelm [Tue, 30 Oct 2018 15:45:24 +0100] rev 69207

clarified signature;

nipkow [Tue, 30 Oct 2018 18:11:22 +0100] rev 69206

tuned name

fleury <Mathias.Fleury@mpi-inf.mpg.de> [Tue, 30 Oct 2018 16:24:04 +0100] rev 69205

add reconstruction by veriT in method smt

fleury <Mathias.Fleury@mpi-inf.mpg.de> [Tue, 30 Oct 2018 16:24:01 +0100] rev 69204

split SMT reconstruction into library

nipkow [Sun, 28 Oct 2018 16:31:13 +0100] rev 69203

added lemmas

wenzelm [Sun, 28 Oct 2018 14:00:51 +0100] rev 69202

suppress "FreeMarker Template Language" file extension for the sake of SAD3/ForTheL;

nipkow [Sun, 28 Oct 2018 11:00:09 +0100] rev 69201

merged

nipkow [Sun, 28 Oct 2018 11:00:00 +0100] rev 69200

tuned names

wenzelm [Sat, 27 Oct 2018 20:11:16 +0200] rev 69199

more robust: allow log to be a symlink;

isabelle