isabelle: Changelog

wenzelm [Tue, 27 Mar 2018 13:59:01 +0200] rev 67953

updated to scala-2.12.5;

Manuel Eberl <eberlm@in.tum.de> [Mon, 26 Mar 2018 23:58:43 +0200] rev 67952

Merged

Manuel Eberl <eberlm@in.tum.de> [Mon, 26 Mar 2018 16:14:16 +0200] rev 67951

Removed some uses of deprecated _tac methods. (Patch from Viorel Preoteasa)

Manuel Eberl <eberlm@in.tum.de> [Mon, 26 Mar 2018 16:12:55 +0200] rev 67950

Added some simple facts about limits

nipkow [Mon, 26 Mar 2018 19:13:45 +0200] rev 67949

added lemmas

wenzelm [Sat, 24 Mar 2018 22:45:06 +0100] rev 67948

clarified signature;

wenzelm [Sat, 24 Mar 2018 22:10:14 +0100] rev 67947

clarified messages (amending 3e072441c96a);

wenzelm [Sat, 24 Mar 2018 21:14:49 +0100] rev 67946

session tmp_dir is default master_dir;

wenzelm [Sat, 24 Mar 2018 20:51:42 +0100] rev 67945

tuned output;

wenzelm [Sat, 24 Mar 2018 20:47:54 +0100] rev 67944

tuned;

isabelle