isabelle: Changelog

wenzelm [Sun, 24 May 2020 10:36:42 +0200] rev 71875

tuned signature;

wenzelm [Sun, 24 May 2020 10:28:04 +0200] rev 71874

unused;

wenzelm [Sat, 23 May 2020 22:09:55 +0200] rev 71873

tuned signature;

wenzelm [Sat, 23 May 2020 21:58:44 +0200] rev 71872

check Scala source snippets from ML;

wenzelm [Sat, 23 May 2020 21:43:30 +0200] rev 71871

more robust isabelle.Functions --- avoid Java reflection with unclear class/object treatment;

wenzelm [Sat, 23 May 2020 12:04:24 +0200] rev 71870

init default context;

wenzelm [Sat, 23 May 2020 11:33:45 +0200] rev 71869

tuned message;

wenzelm [Sat, 23 May 2020 11:27:35 +0200] rev 71868

clarified signature;

wenzelm [Sat, 23 May 2020 11:25:34 +0200] rev 71867

tuned;

wenzelm [Sat, 23 May 2020 10:58:01 +0200] rev 71866

more brackets (see 2e8af171887f);

isabelle