isabelle: Changelog

wenzelm [Mon, 25 May 2020 20:52:55 +0200] rev 71890

clarified static_check: avoid accidental evaluation;

wenzelm [Mon, 25 May 2020 20:46:50 +0200] rev 71889

omit pointless memoing: Scala compiler is rather bulky anyway;

wenzelm [Mon, 25 May 2020 20:43:19 +0200] rev 71888

clarified signature;

wenzelm [Mon, 25 May 2020 19:10:38 +0200] rev 71887

antiquotations for Scala entities;

haftmann [Sun, 24 May 2020 19:57:13 +0000] rev 71886

better closeup and more consistent terminology

wenzelm [Sun, 24 May 2020 21:11:23 +0200] rev 71885

merged

wenzelm [Sun, 24 May 2020 21:01:51 +0200] rev 71884

proper stack_limit;

wenzelm [Sun, 24 May 2020 20:59:34 +0200] rev 71883

clarified signature;

wenzelm [Sun, 24 May 2020 20:35:24 +0200] rev 71882

more accurate classpath for "isabelle scala";

wenzelm [Sun, 24 May 2020 19:45:42 +0200] rev 71881

proper check of registered Scala functions;

isabelle