isabelle: Changelog

wenzelm [Thu, 25 Oct 2018 21:29:08 +0200] rev 69187

clarified ML position: proper markup for def/ref scopes (see also 162a4c2e97bc);

wenzelm [Thu, 25 Oct 2018 17:08:04 +0200] rev 69186

updated to jdk-11+28 from https://adoptopenjdk.net -- with proper font rendering on Linux;

wenzelm [Thu, 25 Oct 2018 15:41:40 +0200] rev 69185

proper completion for @{named_theorems};

haftmann [Thu, 25 Oct 2018 12:42:17 +0000] rev 69184

executable comparators apt for sorting

haftmann [Thu, 25 Oct 2018 14:04:37 +0200] rev 69183

tuned grammar

haftmann [Thu, 25 Oct 2018 09:48:02 +0000] rev 69182

more and generalized lemmas

Lars Hupel <lars.hupel@mytum.de> [Tue, 23 Oct 2018 10:50:48 +0200] rev 69181

Jenkins: delete obsolete profile

Manuel Eberl <eberlm@in.tum.de> [Mon, 22 Oct 2018 19:03:47 +0200] rev 69180

Tagged some theories in HOL-Analysis

wenzelm [Mon, 22 Oct 2018 12:22:18 +0200] rev 69179

proper chapter;

wenzelm [Mon, 22 Oct 2018 11:57:52 +0200] rev 69178

tuned messages;

isabelle