isabelle: Changelog

huffman [Wed, 28 Mar 2018 12:12:19 -0700] rev 67957

tuned some proofs

huffman [Wed, 28 Mar 2018 11:19:07 -0700] rev 67956

tuned some proofs about filters

wenzelm [Wed, 28 Mar 2018 13:46:21 +0200] rev 67955

clarified handling of stdout vs. stderr: the cronjob should normally be silent;

wenzelm [Wed, 28 Mar 2018 11:54:18 +0200] rev 67954

proper self_update of components -- do assume shared file-system;

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;

isabelle