isabelle: Changelog

wenzelm [Fri, 30 Oct 2020 21:10:18 +0100] rev 72520

tuned --- make IntelliJ IDEA happy;

wenzelm [Fri, 30 Oct 2020 20:45:28 +0100] rev 72519

tuned;

desharna [Thu, 29 Oct 2020 16:07:41 +0100] rev 72518

Added smt (verit) to Sledgehammer's proof preplay. Tuned preplay multithreading.

haftmann [Thu, 29 Oct 2020 18:23:29 +0000] rev 72517

unified slots

haftmann [Thu, 29 Oct 2020 18:23:28 +0000] rev 72516

unified Local_Theory.init with Generic_Target.init

haftmann [Thu, 29 Oct 2020 10:03:03 +0000] rev 72515

moved most material from session HOL-Word to Word_Lib in the AFP

haftmann [Thu, 29 Oct 2020 09:59:40 +0000] rev 72514

removed dependency

Mathias Fleury <Mathias.Fleury@mpi-inf.mpg.de> [Wed, 28 Oct 2020 08:41:07 +0100] rev 72513

better handling of skolemization for Isar reconstruction in Sledgehammer for veriT

haftmann [Tue, 27 Oct 2020 16:59:44 +0000] rev 72512

more lemmas

wenzelm [Tue, 27 Oct 2020 22:34:37 +0100] rev 72511

clarified signature: overloaded "+" for Path.append;

isabelle